CI - Verification

More ergonomics #191

Sign in to view logs

Triggered via pull request January 30, 2026 20:26

wallstop

synchronize #71

dev/wallstop/more-ergonomics

Status Success

Total duration 6m 31s

Artifacts –

ci-verification.yml

on: pull_request

Kani Proof Coverage

TLA+ Model Checking

Z3 SMT Verification

Kani Tier 1 (Fast)

Matrix: kani-tier2

Matrix: kani-tier3

Matrix: loom-tests

Annotations

1 notice

sccache stats

100% - 1 hits, 0 misses, 0 errors