Skip to content
Build

Structured pipeline diagnostics with PipelineM, phase timing, and --metrics JSONL #8622

Sign in to view logs

Structured pipeline diagnostics with PipelineM, phase timing, and --metrics JSONL

Structured pipeline diagnostics with PipelineM, phase timing, and --metrics JSONL #8622

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run internal benchmarks of Strata
21m 49s
Build documentation
10m 32s
Build and test Lean (stable)
7m 24s
get-branch-name
4s
Run lint checks (stable)
10s
Check pending Python tests
5m 51s
Build and test Python (3.13)
8m 55s
Build and test Python (3.12)
9m 20s
cbmc / Run CBMC tests
6m 36s
Build and test Python (3.14)
9m 1s
Build and test Python (3.11)
6m 30s
1h 26m 12s