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
name: CI
on:
push:
pull_request:
workflow_dispatch:
schedule:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
env:
RUSTFLAGS: "-Dwarnings"
jobs:
fmt-check:
name: Formatting check
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: cargo fmt -- --check
clippy:
name: Clippy
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: cargo clippy --all-targets
test:
name: Tests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: cargo test
miri:
name: Miri
runs-on: ubuntu-latest
env:
MIRIFLAGS: -Zmiri-strict-provenance
timeout-minutes: 45
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@miri
- name: Run cargo miri test (64-bit little endian)
run: cargo miri test --target x86_64-unknown-linux-gnu
- name: Run cargo miri test (64-bit big endian)
run: cargo miri test --target mips64-unknown-linux-gnuabi64
- name: Run cargo miri test (32-bit little endian)
run: cargo miri test --target i686-unknown-linux-gnu
- name: Run cargo miri test (32-bit big endian)
run: cargo miri test --target mips-unknown-linux-gnu