[do not merge] bench garagedoor build with -j on Arch #4335
andres-erbsencoq-macos.yml
on: pull_request
Annotations
6 errors
|
macos
unable to access 'https://github.com/mit-plv/riscv-coq.git/': Recv failure: Operation timed out
|
|
macos
Fetched in submodule path 'rupicola/bedrock2/deps/riscv-coq', but it did not contain 50dae4639ae391a312cb0d9abf3bac29dcdfe8eb. 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.
|