Merge branch 'nightly'
commitbdd6ae2ebbd0656db4c9ff4f7ae3fdc0616be091
authorJens Petersen <juhpetersen@gmail.com>
dateFri 18 Jun 2021, 00:36 (5 years ago)
parent5f84774980fe4f
.github/workflows/check.yml+5−1
@@ -1,5 +1,9 @@
11name: check
2−on: [push,pull_request]
2+on:
3+ push:
4+ branches: [ master ]
5+ pull_request:
6+ branches: [ master ]
37jobs:
48 build:
59 runs-on: ubuntu-latest
.github/workflows/image.yml+1−1
@@ -19,7 +19,7 @@ jobs:
1919
2020 - name: Build image
2121 run: |
22− IMAGE_ID=docker.pkg.github.com/${{ github.repository }}:${{ github.branch }}
22+ IMAGE_ID=docker.pkg.github.com/${{ github.repository }}/build:${GITHUB_REF#refs/heads/}
2323 docker build . -f Dockerfile --tag $IMAGE_ID
2424 docker push $IMAGE_ID
2525 echo Pushed new build image $IMAGE_ID
debian-bootstrap.sh−13
@@ -301,19 +301,6 @@ wget -qO - https://packages.confluent.io/deb/5.2/archive.key | apt-key add -
301301add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main"
302302apt-get update && apt install -y librdkafka-dev
303303
304−# Install binaryen
305−curl -L https://github.com/WebAssembly/binaryen/archive/version_94.tar.gz | tar xz -C /tmp
306−pushd /tmp/binaryen-version_94
307−mkdir build
308−cd build
309−cmake \
310− -DCMAKE_BUILD_TYPE=Release \
311− -DCMAKE_INSTALL_PREFIX=/usr \
312− -G "Unix Makefiles" \
313− ..
314−sudo make install
315−popd
316−
317304Z3_VER=4.8.8
318305(
319306 cd /usr/local/ \