summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorBadlop <badlop@process-one.net>2021-05-27 16:29:08 +0200
committerBadlop <badlop@process-one.net>2021-05-28 16:56:05 +0200
commit9010c351934a0e33d859ec9eed441aaddc0e10a5 (patch)
tree24aa96e3625ef082b1247559a50f5f45a2c7c8b3 /.github
parentUpdate eredis dependency from v1.0.8 to v1.2.0 (diff)
CI: Get rebar3 compatible with previous OTP, the one in Ubuntu 20.04 is not
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml4
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2aed65d1..b6e2cead 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -199,6 +199,8 @@ jobs:
uses: ErlGang/setup-erlang@master
with:
otp-version: ${{ matrix.otp }}
+ - name: Get a compatible Rebar3
+ run: wget https://s3.amazonaws.com/rebar3/rebar3 && chmod +x rebar3
- name: Cache Rebar3
uses: actions/cache@v2
with:
@@ -214,7 +216,7 @@ jobs:
- name: Compile
run: |
./autogen.sh
- ./configure --with-rebar=`which rebar3` \
+ ./configure --with-rebar=./rebar3 \
--prefix=/tmp/ejabberd \
--disable-debug \
--enable-all \