Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
235 workflow runs
235 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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-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
Major-version update cargo dependencies Kani CI #666: Commit 3a93ae2 pushed by tautschnig
1h 51m 35s cargo-update
cargo-update
1h 51m 35s
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 CI #664: Commit 91c5eec pushed by tautschnig
1h 42m 28s charon-incremental
charon-incremental
1h 42m 28s
Add macos-15 symlinks Kani CI #663: Commit fe05157 pushed by tautschnig
1h 24m 54s macos-15
macos-15
1h 24m 54s
Switch macos-13 CI jobs to macos-15-intel Kani CI #662: Commit 1f6ef63 pushed by tautschnig
46m 40s macos-15
macos-15
46m 40s
Upgrade to 2025-11-03 Kani CI #661: Commit e471bfe pushed by tautschnig
2h 27m 57s toolchain-2025-11-01-manual
toolchain-2025-11-01-manual
2h 27m 57s
Upgrade Rust toolchain to 2025-11-02 Kani CI #660: Commit a1a7749 pushed by tautschnig
2h 7m 23s toolchain-2025-11-01-manual
toolchain-2025-11-01-manual
2h 7m 23s
move the test to slow Kani CI #659: Commit 9c58050 pushed by thanhnguyen-aws
2h 33m 47s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
2h 33m 47s
change a test which runs forever to fixme Kani CI #658: Commit c9d5d41 pushed by thanhnguyen-aws
6h 0m 31s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
6h 0m 31s
Merge branch 'toolchain-2025-10-24-manual' of https://github.com/taut… Kani CI #657: Commit a360bcd pushed by thanhnguyen-aws
6h 0m 31s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
6h 0m 31s
Merge branch 'main' into toolchain-2025-10-24-manual Kani CI #656: Commit 2c02afd pushed by thanhnguyen-aws
6h 0m 30s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
6h 0m 30s
Merge branch 'main' into toolchain-2025-10-24-manual Kani CI #655: Commit 434b753 pushed by thanhnguyen-aws
6h 0m 27s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
6h 0m 27s
Upgrade Rust toolchain to 2025-10-24 Kani CI #654: Commit d0592d0 pushed by tautschnig
6h 0m 33s toolchain-2025-10-24-manual
toolchain-2025-10-24-manual
6h 0m 33s
Upgrade Rust toolchain to 2025-10-12 Kani CI #653: Commit df07216 pushed by tautschnig
1h 44m 37s toolchain-2025-10-12-manual
toolchain-2025-10-12-manual
1h 44m 37s
Complete CI permissions limiting Kani CI #652: Commit 31b495a pushed by tautschnig
57m 14s workflow-permissions
workflow-permissions
57m 14s
Upgrade Rust toolchain to 2025-10-03 Kani CI #651: Commit fe45ace pushed by tautschnig
1h 1m 40s toolchain-2025-10-03-manual
toolchain-2025-10-03-manual
1h 1m 40s
Only skip toolchain update upon exact issue match Kani CI #650: Commit 67c9069 pushed by tautschnig
1h 1m 6s debug-tc-update
debug-tc-update
1h 1m 6s
Upgrade Rust toolchain to 2025-09-30 Kani CI #649: Commit 4fcc826 pushed by tautschnig
1h 4m 46s toolchain-2025-09-30-manual
toolchain-2025-09-30-manual
1h 4m 46s
Upgrade Rust toolchain to 2025-09-30 Kani CI #648: Commit b184f66 pushed by tautschnig
56m 36s toolchain-2025-09-30-manual
toolchain-2025-09-30-manual
56m 36s
Automatic toolchain upgrade to nightly-2025-09-25 (#4380) Kani CI #647: Commit b74581d pushed by tautschnig
1h 12m 18s main
main
1h 12m 18s
Revert "Cache dependencies for CI jobs (#4181)" Kani CI #646: Commit ca863ea pushed by tautschnig
1h 4m 38s revert-caching
revert-caching
1h 4m 38s
Merge remote-tracking branch 'origin/main' into toolchain-2025-09-19-… Kani CI #645: Commit 8b49a2f pushed by tautschnig
52m 15s toolchain-2025-09-19-manual
toolchain-2025-09-19-manual
52m 15s
Update kani-driver/src/call_cbmc.rs Kani CI #644: Commit 9e92871 pushed by tautschnig
49m 32s toolchain-2025-09-19-manual
toolchain-2025-09-19-manual
49m 32s