Skip to content
Kani CI

Kani CI #44

Sign in to view logs

Kani CI

Kani CI #44

Triggered via schedule June 3, 2024 00:45
@btcleetbtcleet
⁠ 89d6991
master
Status Success
Total duration 5m 21s
Artifacts –

cron-daily-kani.yml

on: schedule
run-kani
5m 12s
run-kani
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
run-kani
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/a5ac7e51b41094c92402da3b24376905380afc29'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
run-kani
Back off 22.823 seconds before retry.
run-kani
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/a5ac7e51b41094c92402da3b24376905380afc29'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
run-kani
Back off 12.245 seconds before retry.