Skip to content

Commit 0ed3dee

Browse files
authored
[CI] upgrade to ubuntu 22.04
1 parent d9ea04a commit 0ed3dee

File tree

1 file changed

+11
-2
lines changed

1 file changed

+11
-2
lines changed

.github/workflows/build.yml

Lines changed: 11 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ on: [push, pull_request]
55
jobs:
66
check:
77
name: build
8-
runs-on: ubuntu-20.04
8+
runs-on: ubuntu-22.04
99
steps:
1010
- name: Checkout code
1111
uses: actions/checkout@v2
@@ -36,10 +36,19 @@ jobs:
3636
run: |
3737
eval $(opam env)
3838
script/check-format
39+
40+
- name: Install LLVM 12
41+
run: |
42+
sudo apt-get update
43+
echo “deb http://apt.llvm.org/focal/ llvm-toolchain-focal-12 main” | sudo tee /etc/apt/sources.list.d/llvm12.list
44+
wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
45+
sudo apt-get update
46+
sudo apt-get install -y llvm-12-dev libclang-12-dev clang-12
47+
3948
- name: Install deps
4049
run: |
4150
sudo apt-get update
42-
sudo apt-get install -y libmpfr-dev llvm-12-dev pkg-config libclang-12-dev
51+
sudo apt-get install -y libmpfr-dev pkg-config
4352
4453
- name: Build Sparrow
4554
run: |

0 commit comments

Comments
 (0)