aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/unix-ci.yaml
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows/unix-ci.yaml')
-rw-r--r--.github/workflows/unix-ci.yaml2
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'