-
Notifications
You must be signed in to change notification settings - Fork 91
128 lines (118 loc) · 3.47 KB
/
ci.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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
name: CI
on:
push:
branches: ["main"]
pull_request:
env:
CARGO_TERM_COLOR: always
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
RISC0_VERSION: 0.20.1
RISC0_TOOLCHAIN_VERSION: test-release-2
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
build-test-risc0:
name: Build and test risc0
runs-on: ubuntu-latest
timeout-minutes: 60
env:
CC: gcc
CC_riscv32im_risc0_zkvm_elf: /tmp/riscv/bin/riscv32-unknown-elf-gcc
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- run: scripts/toolchain-before.sh risc0
- run: scripts/toolchain.sh risc0
- uses: actions-rs/toolchain@v1
with:
profile: minimal
- run: scripts/toolchain-after.sh risc0
- uses: risc0/risc0/.github/actions/[email protected]
- name: Install cargo-binstall
uses: cargo-bins/[email protected]
- run: cargo binstall -y --force cargo-risczero
- run: cargo risczero install
- run: cargo build -p risc0-prover --features enable
- run: cargo test -p risc0-prover --features enable
build-test-sp1:
name: Build and test sp1
runs-on: ubuntu-latest
timeout-minutes: 60
env:
CC: gcc
CC_riscv32im_succinct_zkvm_elf: /tmp/riscv/bin/riscv32-unknown-elf-gcc
steps:
- uses: actions/checkout@v4
- run: scripts/toolchain-before.sh sp1
- uses: actions-rs/toolchain@v1
with:
profile: minimal
- run: scripts/toolchain.sh sp1
- run: scripts/toolchain-after.sh sp1
- name: Setup and build
run: |
curl -L https://sp1.succinct.xyz | bash
/home/runner/.config/.sp1/bin/sp1up
cargo build -p sp1-prover --features enable
cargo test -p sp1-prover --features enable
shell: bash
build-test-sgx:
name: Build and test sgx
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- run: scripts/toolchain-before.sh sgx
- uses: actions-rs/toolchain@v1
with:
profile: minimal
- run: scripts/toolchain-after.sh sgx
- name: Setup and build
run: |
cargo build --features sgx
cargo test -p sgx-prover --features enable
shell: bash
build-test-sgx-with-docker:
name: Build and test sgx with Docker
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- name: Setup and build
run: |
cd docker
docker compose build --no-cache
shell: bash
test-lib:
name: Test raiko-lib
runs-on: ubuntu-latest
timeout-minutes: 60
steps:
- uses: actions/checkout@v4
- uses: actions-rs/toolchain@v1
with:
profile: minimal
- run: cargo test -p raiko-lib --features=std
clippy:
name: clippy
runs-on: ubuntu-latest
timeout-minutes: 30
steps:
- uses: actions/checkout@v4
- uses: risc0/risc0/.github/actions/[email protected]
- uses: risc0/risc0/.github/actions/[email protected]
- uses: risc0/clippy-action@main
with:
reporter: 'github-pr-check'
fail_on_error: true
clippy_flags: --workspace --all-targets --all-features -- -Dwarnings
fmt:
name: fmt
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
- uses: actions/checkout@v4
- uses: risc0/risc0/.github/actions/[email protected]
- run: cargo fmt --all --check