bdd6ae2 · stackage · git.iko.soy

.github/workflows/check.yml+5−1

compare with master

unifiedsplit

@@ -1,5 +1,9 @@

1name: check

2+on:

3+ push:

4+ branches: [ master ]

2−on: [push,pull_request]

5+ pull_request:

6+ branches: [ master ]

3jobs:

7jobs:

4 build:

8 build:

5 runs-on: ubuntu-latest

9 runs-on: ubuntu-latest

.github/workflows/image.yml+1−1

@@ -19,7 +19,7 @@ jobs:

19

20 - name: Build image

21 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/}

23 docker build . -f Dockerfile --tag $IMAGE_ID

24 docker push $IMAGE_ID

25 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 -

301add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main"

302apt-get update && apt install -y librdkafka-dev

303

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−

317Z3_VER=4.8.8

304Z3_VER=4.8.8

318(

305(

319 cd /usr/local/ \

306 cd /usr/local/ \