Skip to content

Merge pull request #35 from GnomedDev/fix-clippy #38

Merge pull request #35 from GnomedDev/fix-clippy

Merge pull request #35 from GnomedDev/fix-clippy #38

Triggered via push September 8, 2024 11:24
Status Failure
Total duration 48m 13s
Artifacts

Kani.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

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