diff options
author | Badlop <badlop@process-one.net> | 2021-05-27 16:29:08 +0200 |
---|---|---|
committer | Badlop <badlop@process-one.net> | 2021-05-28 16:56:05 +0200 |
commit | 9010c351934a0e33d859ec9eed441aaddc0e10a5 (patch) | |
tree | 24aa96e3625ef082b1247559a50f5f45a2c7c8b3 | |
parent | Update 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
-rw-r--r-- | .github/workflows/ci.yml | 4 |
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 \ |