Add boundary proofs to dfold
and smap
#3227
Triggered via pull request
September 1, 2024 08:36
Status
Success
Total duration
1h 46m 29s
Artifacts
–
ci.yml
on: pull_request
Matrix: Build and Test
Matrix: Build and run limited tests
All jobs finished
9s