forked from ethereum-optimism/asterisc
-
Notifications
You must be signed in to change notification settings - Fork 0
74 lines (72 loc) · 2 KB
/
ci.yaml
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
name: AsteriscCI
on: [push]
jobs:
rvgo-tests:
runs-on: ubuntu-latest
timeout-minutes: 20
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
- name: Install Golang
uses: actions/setup-go@v4
with:
go-version: '1.21.x'
- name: Build rvsol
run: forge build
working-directory: rvsol
- name: Build rv64g test binaries
run: make bin bin/simple bin/minimal
working-directory: tests/go-tests
- name: Run tests
run: go test -v ./... -race -coverprofile=coverage.out -covermode=atomic --timeout=30m
working-directory: rvgo
- name: Fuzz
run: make fuzz
- name: Upload coverage to Codecov
uses: codecov/codecov-action@v4
with:
working-directory: rvgo
rvsol-tests:
runs-on: ubuntu-latest
timeout-minutes: 20
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Install Golang
uses: actions/setup-go@v5
with:
go-version: '1.21.x'
- name: Build FFI
run: go build
working-directory: rvgo/scripts/go-ffi
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
- name: Run foundry tests
run: forge test -vvv --ffi
working-directory: rvsol
rvsol-lint:
runs-on: ubuntu-latest
timeout-minutes: 20
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
- name: Run lint
run: make lint-check
working-directory: rvsol
rvgo-lint:
runs-on: ubuntu-latest
timeout-minutes: 20
steps:
- uses: actions/checkout@v4
- uses: actions/setup-go@v5
with:
go-version: '1.21.x'
cache: false
- name: golangci-lint
uses: golangci/golangci-lint-action@v4
with:
version: latest