Rocq Postcondition and Invariants #1705
Triggered via pull request
October 16, 2025 10:37
lefterislazar
Status
Cancelled
Total duration
15m 27s
Artifacts
–
Annotations
4 errors
|
build (ubuntu-latest)
Process completed with exit code 2.
|
|
build (macos-latest)
The run was canceled by @lefterislazar.
|
|
build (macos-latest)
The operation was canceled.
|
|
Build
The run was canceled by @lefterislazar.
|