Skip to content
Kani CI

Fix beta Clippy warnings #63

Sign in to view logs

Fix beta Clippy warnings

Fix beta Clippy warnings #63

Triggered via pull request November 3, 2024 02:57
@tatsuya6502tatsuya6502
synchronize #45
fix-ci/2024-11-03/v011
Status Success
Total duration 6m 22s
Artifacts –

Kani.yml

on: pull_request
run-kani
5m 58s
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/11bd71901bbe5b1630ceea73d27597364c9af683'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
run-kani
Back off 29.78 seconds before retry.
run-kani
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/11bd71901bbe5b1630ceea73d27597364c9af683'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
run-kani
Back off 15.72 seconds before retry.