CI to check dialyzer

Author: riccardo manfrin

.github/workflows/main.yml

@@ -16,6 +16,11 @@ jobs:
       uses: actions/checkout@v3
     - name: Build
       run: rebar3 compile
+    - name: Dialyzer
+      run: |
+           rebar3 dialyzer || true
+           WARNINGS=$(cat _build/default/*.dialyzer_warnings | grep -e '^$' |  wc -l)
+           if [ ${WARNINGS} -gt 89 ]; then exit -1; fi
     - name: Run tests
       run: |
            rebar3 do xref, ct