Skip to content
Build

feat(laurel): Seq<T> and Array<T> with bounds-checked subscript and diagnostics #10335

Sign in to view logs

feat(laurel): Seq<T> and Array<T> with bounds-checked subscript and diagnostics

feat(laurel): Seq<T> and Array<T> with bounds-checked subscript and diagnostics #10335

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and test Lean (stable)
10m 49s
Run lint checks (stable)
13s
Build documentation
20m 29s
get-branch-name
2s
Check pending Python tests
8m 38s
Build and test Python (3.14)
8m 51s
Build and test Python (3.13)
8m 17s
Build and test Python (3.11)
6m 0s
Build and test Python (3.12)
7m 7s
cbmc / Run CBMC tests
2m 36s
1h 13m 2s