From f148b30e2e2b670956cd014cc7d9d3d4fda0f4f0 Mon Sep 17 00:00:00 2001 From: Mattia Date: Thu, 17 Mar 2022 12:56:03 +0100 Subject: [PATCH] Add priv/plts directory if not existing dialyxir fails when core directory does not exist. see https://github.com/jeremyjh/dialyxir/issues/398 and it's PR https://github.com/jeremyjh/dialyxir/pull/399 Signed-off-by: Mattia --- .github/workflows/backend-test.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/backend-test.yaml b/.github/workflows/backend-test.yaml index 997341ea5..b5dcaf425 100644 --- a/.github/workflows/backend-test.yaml +++ b/.github/workflows/backend-test.yaml @@ -86,7 +86,7 @@ jobs: - name: Create PLTs working-directory: ./backend if: steps.plt_cache.outputs.cache-hit != 'true' - run: mix dialyzer --plt + run: mkdir priv/plts && mix dialyzer --plt - name: Run dialyzer working-directory: ./backend