Skip to content

fix(ci): Kani PR-smoke + Mutation shard + Verus log upload #209

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
avrabe merged 2 commits into from
Apr 25, 2026
Merged

fix(ci): Kani PR-smoke + Mutation shard + Verus log upload #209

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
141305d
fix(ci): Kani PR-smoke split, Mutation 4-shard, Verus log upload
avrabe Apr 25, 2026
5367d1e
style(ci): drop double space in mutants matrix to satisfy yamllint
avrabe Apr 25, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
35 changes: 29 additions & 6 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -312,19 +312,24 @@ jobs:
strategy:
fail-fast: false
matrix:
crate: [rivet-core, rivet-cli]
include:
- { crate: rivet-cli, shard: '0/1', shard_id: '0-of-1' }
- { crate: rivet-core, shard: '0/4', shard_id: '0-of-4' }
- { crate: rivet-core, shard: '1/4', shard_id: '1-of-4' }
- { crate: rivet-core, shard: '2/4', shard_id: '2-of-4' }
- { crate: rivet-core, shard: '3/4', shard_id: '3-of-4' }
steps:
- uses: actions/checkout@v6
- uses: dtolnay/rust-toolchain@stable
- uses: Swatinem/rust-cache@v2
with:
key: mutants-${{ matrix.crate }}
key: mutants-${{ matrix.crate }}-${{ matrix.shard_id }}
- name: Install cargo-mutants
uses: taiki-e/install-action@v2
with:
tool: cargo-mutants
- name: Run cargo-mutants
run: cargo mutants -p ${{ matrix.crate }} --timeout 90 --jobs 4 --output mutants-out -- --lib || true
run: cargo mutants -p ${{ matrix.crate }} --shard ${{ matrix.shard }} --timeout 90 --jobs 4 --output mutants-out -- --lib || true
- name: Check surviving mutants
run: |
MISSED=0
Expand All @@ -341,7 +346,7 @@ jobs:
if: always()
uses: actions/upload-artifact@v4
with:
name: mutants-report-${{ matrix.crate }}
name: mutants-report-${{ matrix.crate }}-${{ matrix.shard_id }}
path: mutants-out/

# ── Fuzz testing (main only — too slow for PRs) ───────────────────
Expand Down Expand Up @@ -409,8 +414,17 @@ jobs:
timeout-minutes: 45
steps:
- uses: actions/checkout@v6
- uses: model-checking/kani-github-action@v1
- run: cargo kani -p rivet-core
# PR runs: smoke-test only (--only-codegen, ~5 min). Full Kani
# runs on push to main (still 45 min budget). The 27-harness
# full suite was overrunning the 45 min budget mid-unwind.
- if: github.event_name == 'pull_request'
uses: model-checking/kani-github-action@v1
with:
args: '-p rivet-core --only-codegen'
- if: github.event_name == 'push' && github.ref == 'refs/heads/main'
uses: model-checking/kani-github-action@v1
- if: github.event_name == 'push' && github.ref == 'refs/heads/main'
run: cargo kani -p rivet-core

# ── Verus SMT verification ──────────────────────────────────────────
# Toolchain + workspace are now correct (rules_verus@fc7b636 past the
Expand Down Expand Up @@ -445,6 +459,15 @@ jobs:
nix_path: nixpkgs=channel:nixos-unstable
- name: Verify Verus specs
run: bazel test //verus:rivet_specs_verify
- name: Upload Verus test log
if: always()
uses: actions/upload-artifact@v4
with:
name: verus-test-log
path: |
bazel-out/*/testlogs/verus/rivet_specs_verify/test.log
bazel-testlogs/verus/rivet_specs_verify/test.log
if-no-files-found: warn

# ── Rocq metamodel proofs ─────────────────────────────────────────
# Not yet a hard gate: the proofs were written against an older Rocq and
Expand Down
Loading