diff options
Diffstat (limited to '.github/workflows/unix-ci.yaml')
| -rw-r--r-- | .github/workflows/unix-ci.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/unix-ci.yaml b/.github/workflows/unix-ci.yaml index b1c9989..97ef732 100644 --- a/.github/workflows/unix-ci.yaml +++ b/.github/workflows/unix-ci.yaml @@ -43,7 +43,7 @@ jobs: - name: Cleanup old master if necessary if: steps.cache.outputs.cache-hit == 'true' && inputs.erlang == 'master' - run: make ci-auto-master CI_OTP=${{ inputs.erlang }} + 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' |