diff options
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/unix-ci.yaml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/workflows/unix-ci.yaml b/.github/workflows/unix-ci.yaml index 5e2de38..d5ca881 100644 --- a/.github/workflows/unix-ci.yaml +++ b/.github/workflows/unix-ci.yaml @@ -39,7 +39,6 @@ jobs: with: path: | ~/erlang/ - ~/.kerl/ key: ${{ runner.os }}-${{ runner.arch }}-Erlang-${{ inputs.erlang }} - name: Run ci-prepare @@ -60,7 +59,6 @@ jobs: with: path: | ~/erlang/ - ~/.kerl/ key: ${{ runner.os }}-${{ runner.arch }}-Erlang-${{ inputs.erlang }} - name: Install required software @@ -95,7 +93,6 @@ jobs: with: path: | ~/erlang/ - ~/.kerl/ key: ${{ runner.os }}-${{ runner.arch }}-Erlang-${{ inputs.latest }} - name: Run Dialyzer |