Skip to content
Kani CI

Apply the fix in #31 to the v0.10.x branch #41

Sign in to view logs

Apply the fix in #31 to the v0.10.x branch

Apply the fix in #31 to the v0.10.x branch #41

Triggered via pull request September 8, 2024 12:40
@tatsuya6502tatsuya6502
opened #37
apply-pr31-to-v0.10.x
Status Failure
Total duration 49m 5s
Artifacts –

Kani.yml

on: pull_request
run-kani
48m 57s
run-kani
Fit to window
Zoom out
Zoom in

Annotations

1 error
run-kani
The hosted runner: GitHub Actions 8 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.