specsmith: extract bdd scenarios to bdd.rs 🧪 #5790
ci.yml
on: pull_request
Detect risk packs
1m 5s
MSRV Check
30s
Build & Test (Linux)
5m 29s
Build & Test (macOS)
0s
Feature Boundaries
2m 44s
Proof Policy
1m 3s
Quality Gate
5m 12s
Cargo Deny
11s
Typos
9s
Publish Surface
55s
Version consistency
58s
Docs Check
1m 26s
Mutation Testing
Affected Proof Plan
1m 13s
Fast Proof Run (Advisory)
1m 5s
Build & Test (Windows)
0s
Wasm Compile & Test
0s
Proptest Smoke
45s
Nix PR Package Gate
0s
CI (Required)
36s
Annotations
3 errors
|
Quality Gate
Process completed with exit code 1.
|
|
CI (Required)
Process completed with exit code 1.
|
|
CI (Required)
Failed jobs: gate
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
affected-proof-plan
|
5.27 KB |
sha256:16596af1ee9e2864242d38b7f7e3ad7c2c06252256bacaf909660311b533fd86
|
|
|
ci-actuals
|
2 KB |
sha256:5ddcd7a4574032d04d218f3cc21ff51382f8c5e13c9160482813870ea41255fe
|
|
|
doc-artifacts-check
|
312 Bytes |
sha256:446b74159e93b6fde44992d632e14fdd64a88cfe83bcb4d1f201e3b17dadae1a
|
|
|
fast-proof-run
|
5.76 KB |
sha256:e62e533ee5311614d4a4766dcd19af06966d11e0a14f7c34bb7ba1bcb7bf64ea
|
|
|
proof-pack-route
|
2.45 KB |
sha256:2c6cdf9e58e693c061876e8874642105d2d9d7393d6b0bf5d53697240d70fcae
|
|