diff options
Diffstat (limited to '.github/workflows/unix-ci.yaml')
-rw-r--r-- | .github/workflows/unix-ci.yaml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/.github/workflows/unix-ci.yaml b/.github/workflows/unix-ci.yaml index 97ef732..7b9616e 100644 --- a/.github/workflows/unix-ci.yaml +++ b/.github/workflows/unix-ci.yaml @@ -41,12 +41,8 @@ jobs: ~/erlang/ key: ${{ runner.os }}-${{ runner.arch }}-Erlang-${{ inputs.erlang }} - - name: Cleanup old master if necessary - if: steps.cache.outputs.cache-hit == 'true' && inputs.erlang == 'master' - run: ls -la ~/erlang/master ; make ci-auto-master V=3 - - name: Run ci-prepare - if: steps.cache.outputs.cache-hit != 'true' || inputs.erlang == 'master' + if: steps.cache.outputs.cache-hit != 'true' run: make -k ci-prepare CI_OTP=${{ inputs.erlang }} test: |