[do not merge] bench garagedoor build with -j on Arch #4335
Annotations
5 errors
|
Run actions/checkout@v4
unable to access 'https://github.com/mit-plv/riscv-coq.git/': Recv failure: Operation timed out
|
|
Run actions/checkout@v4
Fetched in submodule path 'rupicola/bedrock2/deps/riscv-coq', but it did not contain 50dae4639ae391a312cb0d9abf3bac29dcdfe8eb. Direct fetching of that commit failed.
|
|
Run actions/checkout@v4
Failed to recurse into submodule path 'rupicola/bedrock2'
|
|
Run actions/checkout@v4
Failed to recurse into submodule path 'rupicola'
|
|
Run actions/checkout@v4
The process '/usr/local/bin/git' failed with exit code 128
|
The logs for this run have expired and are no longer available.
Loading