Skip to content
Kani CI

Kani CI #38

Sign in to view logs

Kani CI

Kani CI #38

Triggered via schedule May 28, 2024 00:43
@btcleetbtcleet
⁠ 89d6991
master
Status Success
Total duration 5m 14s
Artifacts –

cron-daily-kani.yml

on: schedule
run-kani
5m 7s
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.481 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 22.499 seconds before retry.