CI

specsmith: extract bdd scenarios to bdd.rs 🧪 #5790

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
MSRV Check	30s
Feature Boundaries	2m 44s
Detect risk packs	1m 5s
Affected Proof Plan	1m 13s
Fast Proof Run (Advisory)	1m 5s
Proof Policy	1m 3s
Docs Check	1m 26s
Cargo Deny	11s
Quality Gate	5m 12s
Version consistency	58s
Publish Surface	55s
Build & Test (Linux)	5m 29s
Typos	9s
Build & Test (macOS)	0s
Mutation Testing	-7s
Proptest Smoke	45s
Wasm Compile & Test	0s
Build & Test (Windows)	0s
Nix PR Package Gate	0s
CI (Required)	36s
	23m 14s