Skip to content
Kani CI

Kani CI #202

Sign in to view logs

Kani CI

Kani CI #202

Triggered via schedule January 13, 2025 23:59
@yancyribbensyancyribbens
⁠ 9cb302e
master
Status Failure
Total duration 3m 10s
Artifacts –

cron-daily-kani.yml

on: schedule
run-kani
2m 59s
run-kani
Fit to window
Zoom out
Zoom in

Annotations

4 errors
run-kani
unable to access 'https://github.com/yancyribbens/rust-bitcoin/': The requested URL returned error: 503
run-kani
unable to access 'https://github.com/yancyribbens/rust-bitcoin/': The requested URL returned error: 500
run-kani
unable to access 'https://github.com/yancyribbens/rust-bitcoin/': The requested URL returned error: 503
run-kani
The process '/usr/bin/git' failed with exit code 128