generate plt

elixirs · Oct 1, 2023 · 682500f · 682500f
1 parent d5ad844
commit 682500f
Showing 1 changed file with 17 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -30,11 +30,27 @@ jobs:
           key: ${{ github.job }}-${{ hashFiles('mix.lock') }}-1
           path: _build
       - uses: erlef/setup-beam@v1
+        id: beam
         with:
           elixir-version: 1.15.x
           otp-version: 26.x
       - run: mix deps.get
-      - run: mix dialyzer --halt-exit-status
+      - name: Restore PLT cache
+        id: plt_cache
+        uses: actions/cache/restore@v3
+        with:
+          key: |
+            plt-${{ runner.os }}-${{ steps.beam.outputs.otp-version }}-${{ steps.beam.outputs.elixir-version }}-${{ hashFiles('**/mix.lock') }}
+          restore-keys: |
+            plt-${{ runner.os }}-${{ steps.beam.outputs.otp-version }}-${{ steps.beam.outputs.elixir-version }}-
+          path: |
+            priv/plts
+
+        # Create PLTs if no cache was found
+      - name: Create PLTs
+        if: steps.plt_cache.outputs.cache-hit != 'true'
+        run: mix dialyzer --plt
+      - run: mix dialyzer --format github
 
   test:
     runs-on: ${{ matrix.os || 'ubuntu-20.04' }}