diff options
| author | Loïc Hoguin <[email protected]> | 2023-12-18 10:51:15 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2023-12-18 10:51:15 +0100 |
| commit | 80301bb79465281c868c2c6aa3e693dabbbe1197 (patch) | |
| tree | f047fbc2f49bbf26e4f53a8053990ab40b6e1748 | |
| parent | deaacbe8b68552075c786d6003a30138d7c56064 (diff) | |
| download | ci.erlang.mk-80301bb79465281c868c2c6aa3e693dabbbe1197.tar.gz ci.erlang.mk-80301bb79465281c868c2c6aa3e693dabbbe1197.tar.bz2 ci.erlang.mk-80301bb79465281c868c2c6aa3e693dabbbe1197.zip | |
Debug previous issue
| -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' |