Skip to content
Build

The small-step semantics of Imperative must have scoped var init, remove unlabeled exit from Core #9048

Sign in to view logs

The small-step semantics of Imperative must have scoped var init, remove unlabeled exit from Core

The small-step semantics of Imperative must have scoped var init, remove unlabeled exit from Core #9048

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run lint checks (stable)
8s
get-branch-name
4s
Build and test Lean (stable)
27m 18s
Build documentation
15m 30s
Run internal benchmarks of Strata
23m 51s
Build and test Python (3.12)
8m 45s
Check pending Python tests
4m 39s
cbmc / Run CBMC tests
10m 17s
Build and test Python (3.13)
8m 56s
Build and test Python (3.11)
6m 26s
Build and test Python (3.14)
8m 49s
1h 54m 43s