phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

move libatomic1 first

Browse Source
This commit is contained in:
Alexander Bentkamp
2022-11-28 14:10:57 +01:00
parent 292bf9befc
commit 52bcce6152
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/build.yml
+1 -1
View File
@@ -13,12 +13,12 @@ jobs:
build-server: build-server:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- run: sudo apt-get install -y libatomic1
- name: install elan - name: install elan
run: | run: |
set -o pipefail set -o pipefail
curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
./elan-init -y --default-toolchain none ./elan-init -y --default-toolchain none
echo "$HOME/.elan/bin" >> $GITHUB_PATH echo "$HOME/.elan/bin" >> $GITHUB_PATH
- run: sudo apt-get install -y libatomic1
- uses: actions/checkout@v3 - uses: actions/checkout@v3
- run: npm run build_server - run: npm run build_server