summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorBadlop <badlop@process-one.net>2021-06-25 12:32:40 +0200
committerBadlop <badlop@process-one.net>2021-06-25 12:53:22 +0200
commitd5adcaea61dd0007cd0dbd77fb123b62c1fda876 (patch)
treedb2e33e7f5f8c62899efbed3d113462e5784096e /.github
parentmod_push_keepalive: Fix 'resume_timeout' docs (diff)
Add support for rebar3 to "make rel"
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml3
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