Add boundary proofs to dfold and smap
#3257
kleinreactci.yml
on: pull_request
Matrix: Build and Test
Matrix: Build and run limited tests
All jobs finished
4s
Annotations
10 errors
|
Build and run limited tests (macOS-13, 9.0)
Process completed with exit code 1.
|
|
Build and run limited tests (windows-latest, 9.4)
Process completed with exit code 1.
|
|
Build and run limited tests (windows-latest, 9.2)
Process completed with exit code 1.
|
|
Build and run limited tests (macOS-13, 9.4)
Process completed with exit code 1.
|
|
Build and run limited tests (windows-latest, 8.10)
Process completed with exit code 1.
|
|
Build and run limited tests (windows-latest, 9.8)
Process completed with exit code 1.
|
|
Build and run limited tests (macOS-13, 9.6)
Process completed with exit code 1.
|
|
Build and run limited tests (macOS-13, 9.2)
Process completed with exit code 1.
|
|
Build and run limited tests (macOS-13, 9.8)
Process completed with exit code 1.
|
|
All jobs finished
Process completed with exit code 1.
|