Merge branch 'develop' into pin-messages-offline-support

This commit is contained in:
Salvatore Giordano
2021-02-24 11:50:28 +01:00
@@ -13,6 +13,7 @@ on:
jobs:
analyze:
if: github.base_ref == 'master'
timeout-minutes: 15
runs-on: ubuntu-latest
steps: