diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6b2b7b05..d498760b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -123,10 +123,7 @@ jobs: make update make - # Right now 'make rel' works only with rebar2, not rebar3 - run: make rel - if: matrix.rebar == 2 - - run: make install -s - run: make hooks - run: make options |