Support STP and Yices2 #1267
vcanumallarun-checks-github-runners.yml
on: pull_request
build-and-push-image
8s
cleaner
3s
check-format
0s
run-tests
0s
Annotations
3 errors
|
build-and-push-image
remote error: upload-pack: not our ref ed2ba4a332983a14db7abc3f7c88482fa533370e
|
|
build-and-push-image
Fetched in submodule path 'lakeroad-private', but it did not contain ed2ba4a332983a14db7abc3f7c88482fa533370e. Direct fetching of that commit failed.
|
|
build-and-push-image
The process '/usr/bin/git' failed with exit code 128
|