bump bedrock2, use "always" in GarageDoor spec (#1846) #4369
andres-erbsencoq-macos.yml
on: push
Annotations
6 errors
|
macos
unable to access 'https://github.com/mit-plv/coqutil.git/': Recv failure: Operation timed out
|
|
macos
Fetched in submodule path 'rupicola/bedrock2/deps/coqutil', but it did not contain 886fb670a2c8013024e1acedf003bb8340ed29c9. Direct fetching of that commit failed.
|
|
macos
Failed to recurse into submodule path 'rupicola/bedrock2'
|
|
macos
Failed to recurse into submodule path 'rupicola'
|
|
macos
The process '/usr/local/bin/git' failed with exit code 128
|
|
macos-check-all
Process completed with exit code 1.
|