Skip to content

Actions: tautschnig/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,039 workflow runs
2,039 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: CBMC Latest Nightly: CBMC Latest #837: Scheduled
2h 14m 39s main
main
2h 14m 39s
Nightly: Slow tests Nightly: Slow tests #841: Scheduled
59m 58s main
main
59m 58s
Attempt toolchain update Attempt toolchain update #1093: Scheduled
7s main
main
7s
Nightly: CBMC Latest Nightly: CBMC Latest #836: Scheduled
1h 43m 27s main
main
1h 43m 27s
Upgrade Rust toolchain to 2025-11-07 Kani CI #668: Commit f557b4b pushed by tautschnig
1h 13m 31s toolchain-2025-11-07-manual
toolchain-2025-11-07-manual
1h 13m 31s
Upgrade Rust toolchain to 2025-11-07 Kani Format Check #668: Commit f557b4b pushed by tautschnig
4m 10s toolchain-2025-11-07-manual
toolchain-2025-11-07-manual
4m 10s
Upgrade Rust toolchain to 2025-11-07 Cargo Deny #236: Commit f557b4b pushed by tautschnig
1m 52s toolchain-2025-11-07-manual
toolchain-2025-11-07-manual
1m 52s
Nightly: Slow tests Nightly: Slow tests #840: Scheduled
1h 16m 41s main
main
1h 16m 41s
Attempt toolchain update Attempt toolchain update #1092: Scheduled
1s main
main
1s
Nightly: CBMC Latest Nightly: CBMC Latest #835: Scheduled
2h 18m 55s main
main
2h 18m 55s
Upgrade Rust toolchain to 2025-11-06 Kani CI #667: Commit 05da9c2 pushed by tautschnig
1h 7m 38s toolchain-2025-11-06-manual
toolchain-2025-11-06-manual
1h 7m 38s
Upgrade Rust toolchain to 2025-11-06 Cargo Deny #235: Commit 05da9c2 pushed by tautschnig
1m 57s toolchain-2025-11-06-manual
toolchain-2025-11-06-manual
1m 57s
Upgrade Rust toolchain to 2025-11-06 Kani Format Check #667: Commit 05da9c2 pushed by tautschnig
3m 16s toolchain-2025-11-06-manual
toolchain-2025-11-06-manual
3m 16s
Nightly: Slow tests Nightly: Slow tests #839: Scheduled
1h 7m 42s main
main
1h 7m 42s
Attempt toolchain update Attempt toolchain update #1091: Scheduled
1s main
main
1s
Major-version update cargo dependencies Kani CI #666: Commit 3a93ae2 pushed by tautschnig
1h 51m 35s cargo-update
cargo-update
1h 51m 35s
Major-version update cargo dependencies Kani Format Check #666: Commit 3a93ae2 pushed by tautschnig
4m 7s cargo-update
cargo-update
4m 7s
Major-version update cargo dependencies Cargo Deny #234: Commit 3a93ae2 pushed by tautschnig
1m 38s cargo-update
cargo-update
1m 38s
Nightly: CBMC Latest Nightly: CBMC Latest #834: Scheduled
1h 52m 56s main
main
1h 52m 56s
Nightly: Slow tests Nightly: Slow tests #838: Scheduled
1h 24m 14s main
main
1h 24m 14s
Attempt toolchain update Attempt toolchain update #1090: Scheduled
1s main
main
1s
Update charon patch Kani Format Check #665: Commit c2e1562 pushed by tautschnig
4m 23s charon-incremental
charon-incremental
4m 23s
Update charon patch Cargo Deny #233: Commit c2e1562 pushed by tautschnig
1m 50s charon-incremental
charon-incremental
1m 50s
Update charon patch Kani CI #665: Commit c2e1562 pushed by tautschnig
1h 23m 57s charon-incremental
charon-incremental
1h 23m 57s
Update charon submodule increment 7 Kani Format Check #664: Commit 91c5eec pushed by tautschnig
3m 14s charon-incremental
charon-incremental
3m 14s