Fix-ups for "significant proof checking refactoring" #57
K-dizzledbuild-and-test.yml
on: pull_request
Matrix: build-and-test
Matrix: Start a CI debug session if build or test fail
Annotations
3 errors
|
build-and-test (macos-latest, 4.14)
Process completed with exit code 10.
|
|
build-and-test (ubuntu-latest, 4.14)
The job was canceled because "macos-latest_4_14" failed.
|
|
build-and-test (ubuntu-latest, 4.14)
The operation was canceled.
|