Add boundary proofs to dfold and smap
#3258
Triggered via pull request
October 11, 2024 09:46
kleinreact
Status
Cancelled
Total duration
1h 29m 53s
Artifacts
–
ci.yml
on: pull_request
Matrix: Build and Test
Matrix: Build and run limited tests
All jobs finished
0s
Annotations
2 errors
|
Build and run limited tests (windows-latest, 9.8)
Canceling since a higher priority waiting request for 'smap-with-bounds' exists
|
|
Build and run limited tests (windows-latest, 9.8)
The operation was canceled.
|