ci: refactor for maintainability and optimize for latency #8100
You are viewing an older attempt in the history of this workflow run.
View latest attempt.
bsdinisAnnotations
10 errors
|
build-docs
An error occurred trying to start process '/bin/bash' with working directory '/Users/runner/work/verus/verus/./source'. No such file or directory
|
|
test (windows)
Process completed with exit code 127.
|
|
test (macos-singular)
The strategy configuration was canceled because "test.windows" failed
|
|
test (macos-singular)
The operation was canceled.
|
|
test (macos-no-alloc)
The strategy configuration was canceled because "test.windows" failed
|
|
test (macos-no-alloc)
The operation was canceled.
|
|
test (macos)
The strategy configuration was canceled because "test.windows" failed
|
|
test (macos)
The operation was canceled.
|
|
test (macos-x86_64)
The strategy configuration was canceled because "test.windows" failed
|
|
test (macos-x86_64)
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
verus-x86-linux
|
28.6 MB |
sha256:b936bcd234e4a7162fc92f3bfc09eb55106ab51f3457d7932b648dced4e7ddde
|
|