Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

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