Automatic toolchain upgrade to nightly-2024-01-18 #475
Triggered via pull request
January 19, 2024 17:17
Status
Failure
Total duration
2h 23m 48s
Artifacts
2
release.yml
on: pull_request
BuildBundle-Linux
15m 20s
BuildBundle-MacOs
0s
Matrix: TestBundle
Package Docker
0s
Annotations
1 error
BuildBundle-MacOs
The hosted runner: GitHub Actions 71 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
kani-latest-x86_64-unknown-linux-gnu.tar.gz
Expired
|
107 MB |
|
linux-kani-verifier.crate
Expired
|
18.9 KB |
|