Skip to content

Laurel: Add constrained type support #3594

Laurel: Add constrained type support

Laurel: Add constrained type support #3594

Triggered via pull request March 9, 2026 05:30
Status Success
Total duration 29m 31s
Artifacts

ci.yml

on: pull_request
Matrix: Build and test Lean
get-branch-name
3s
get-branch-name
Build documentation
17m 9s
Build documentation
Matrix: Build and test Python
Matrix: Run lint checks
Fit to window
Zoom out
Zoom in

Annotations

5 warnings and 1 notice
Build and test Python (3.14)
Cache save failed.
Build and test Python (3.12)
Cache save failed.
Build and test Python (3.13)
Cache save failed.
Build documentation
Cache save failed.
cbmc / Run CBMC tests
Cache save failed.