diff options
Diffstat (limited to '.github')
-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 1f72267..b1c9989 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 + run: make ci-auto-master CI_OTP=${{ inputs.erlang }} - name: Run ci-prepare if: steps.cache.outputs.cache-hit != 'true' || inputs.erlang == 'master' |