-
Notifications
You must be signed in to change notification settings - Fork 58
101 lines (98 loc) · 2.88 KB
/
rust.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
name: Rust
on:
push:
branches: [ "master" ]
pull_request:
branches: [ "master" ]
env:
CARGO_TERM_COLOR: always
jobs:
build-and-test-linux:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- name: Enable unprivileged userfaultfd
run: echo "1" | sudo tee /proc/sys/vm/unprivileged_userfaultfd
- name: Install LLD
run: sudo apt-get install -y lld
- name: Install target -- i686-unknown-linux-musl
run: rustup target add i686-unknown-linux-musl
- name: Install target -- x86_64-unknown-freebsd
run: rustup target add x86_64-unknown-freebsd
- name: Build and test (generic)
run: ./ci/jobs/build-and-test.sh
- name: Build and test (Linux-only)
run: ./ci/jobs/build-and-test-linux.sh
- name: Check (FreeBSD)
run: ./ci/jobs/check-freebsd.sh
build-and-test-macos:
runs-on: macos-latest
steps:
- uses: actions/checkout@v4
- name: Build and test
run: ./ci/jobs/build-and-test.sh
- name: Build and test (macOS-only)
run: ./ci/jobs/build-and-test-macos.sh
build-and-test-windows:
runs-on: windows-latest
steps:
- uses: actions/checkout@v4
- name: Build and test
shell: bash
run: ./ci/jobs/build-and-test.sh
build-guests:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- name: Install LLD
run: sudo apt-get install -y lld
- name: Build guests
run: ./ci/jobs/build-guests.sh
kani:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- name: Install kani
run: cargo install --locked --version 0.55.0 kani-verifier
- name: Setup kani
run: cargo kani setup
- name: Run kani
run: ./ci/jobs/kani.sh
clippy:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- name: Install clippy (base toolchain)
run: rustup component add clippy
- name: Install clippy (zygote toolchain)
run: cd crates/polkavm-zygote && rustup component add clippy
- name: Run clippy
run: ./ci/jobs/clippy.sh
rustfmt:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- name: Install rustfmt (base toolchain)
run: rustup component add rustfmt
- name: Install rustfmt (zygote toolchain)
run: cd crates/polkavm-zygote && rustup component add rustfmt
- name: Run rustfmt
run: ./ci/jobs/rustfmt.sh
pallet-revive-tests:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- name: Enable unprivileged userfaultfd
run: echo "1" | sudo tee /proc/sys/vm/unprivileged_userfaultfd
- name: Install LLD
run: sudo apt-get install -y lld
- name: Build and test
run: ./ci/jobs/build-and-test-pallet-revive.sh
fuzz:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- name: Install cargo fuzz
run: cargo install cargo-fuzz
- name: Fuzz
run: ./ci/jobs/fuzz.sh