A better Rust ATProto crate
1name: Kani CI
2
3on:
4 pull_request:
5 paths-ignore:
6 - '.vscode/**'
7 - CHANGELOG.md
8 - README.md
9 push:
10 paths-ignore:
11 - '.vscode/**'
12 - CHANGELOG.md
13 - README.md
14
15jobs:
16 run-kani:
17 runs-on: ubuntu-latest
18 steps:
19 - name: Checkout Moka
20 uses: actions/checkout@v4
21
22 - name: Show CPU into
23 run: |
24 nproc
25 lscpu
26 free -m
27 - name: Run Kani
28 uses: model-checking/kani-github-action@v1.0
29 # Workaround for https://github.com/moka-rs/mini-moka/issues/36
30 with:
31 kani-version: '0.54.0'