chore(provenance): rebind after the 0.18.1 version bump #240
ci.yml
on: push
Lean model (kernel, leanchecker, axiom audit)
29s
isolated release rehearsal
5s
fmt · clippy
30s
sharpebench-py (fmt, clippy, maturin, pytest)
37s
live container boundary (hostile probe)
35s
benchmark self-audit
29s
frozen datasets behave like markets
28s
cargo-deny (licenses · advisories · bans · sources)
47s
docs build
5s
paper evidence provenance
8s
Matrix: determinism
Matrix: test
Annotations
1 error
|
build · test (windows-latest)
Process completed with exit code 1.
|