Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
193 workflow runs
193 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge branch 'main' into agents.md Kani Format Check #708: Commit a804ced pushed by feliperodri
2m 41s agents.md
agents.md
2m 41s
Add check_mylib_add harness verification to workspace_features test Kani Format Check #707: Commit 8ea8437 pushed by tautschnig
2m 52s fix-4544
fix-4544
2m 52s
Fix workspace feature handling to filter features per-package Kani Format Check #706: Commit e9b6e3a pushed by tautschnig
2m 59s fix-4544
fix-4544
2m 59s
Apply suggestion from @Copilot Kani Format Check #705: Commit 1820fb8 pushed by tautschnig
2m 57s agents.md
agents.md
2m 57s
Update AGENTS.md Kani Format Check #704: Commit d45577c pushed by tautschnig
2m 50s agents.md
agents.md
2m 50s
Create AGENTS.md to guide AI coding assistants Kani Format Check #703: Commit c0abacc pushed by tautschnig
3m 13s agents.md
agents.md
3m 13s
Fix comment Kani Format Check #702: Commit 29168a9 pushed by tautschnig
15m 52s fix-saturating-cast
fix-saturating-cast
15m 52s
Update tests/expected/smt-solver-error-status/expected Kani Format Check #701: Commit f9d590e pushed by tautschnig
4m 35s smt-solver-error
smt-solver-error
4m 35s
Fix atomic compare_exchange to return correct failure status Kani Format Check #700: Commit 5ca135e pushed by tautschnig
2m 37s fix-compare_exchange
fix-compare_exchange
2m 37s
Fix float-to-int saturating cast bug Kani Format Check #699: Commit b45a315 pushed by tautschnig
2m 32s fix-saturating-cast
fix-saturating-cast
2m 32s
Fix CBMC output parser panic when using SMT solvers Kani Format Check #698: Commit d556fe7 pushed by tautschnig
2m 47s smt-solver-error
smt-solver-error
2m 47s
Fix incorrect kani::index example in loop-contracts documentation Kani Format Check #697: Commit 494b804 pushed by tautschnig
2m 47s loop-contracts-example
loop-contracts-example
2m 47s
Merge remote-tracking branch 'origin/main' into progress-bar Kani Format Check #696: Commit 208ff46 pushed by tautschnig
2m 33s progress-bar
progress-bar
2m 33s
Merge remote-tracking branch 'origin/main' into progress-bar Kani Format Check #695: Commit a4d5962 pushed by tautschnig
1m 45s progress-bar
progress-bar
1m 45s
fmt Kani Format Check #694: Commit 6ac6f32 pushed by tautschnig
2m 49s progress-bar
progress-bar
2m 49s
No need for multi_progress Kani Format Check #693: Commit 7ecb88f pushed by tautschnig
2m 46s progress-bar
progress-bar
2m 46s
Update kani-driver/src/progress_indicator.rs Kani Format Check #692: Commit 2931d7c pushed by tautschnig
1m 45s progress-bar
progress-bar
1m 45s
Update kani-driver/src/harness_runner.rs Kani Format Check #691: Commit 1e7b13d pushed by tautschnig
1m 57s progress-bar
progress-bar
1m 57s
Clippy fix Kani Format Check #690: Commit 1dfbba9 pushed by tautschnig
2m 45s progress-bar
progress-bar
2m 45s
Add progress indicator and log file output for concise terminal output Kani Format Check #689: Commit e8efb27 pushed by tautschnig
2m 0s progress-bar
progress-bar
2m 0s
Fix expected file Kani Format Check #688: Commit 654e1ee pushed by zhassan-aws
2m 41s fix-2264-simd_as
fix-2264-simd_as
2m 41s
Clippy Kani Format Check #687: Commit 230eacd pushed by zhassan-aws
2m 47s toolchain-2025-11-21-manual
toolchain-2025-11-21-manual
2m 47s
Switch to thread local Kani Format Check #686: Commit 6774224 pushed by zhassan-aws
3m 7s toolchain-2025-11-21-manual
toolchain-2025-11-21-manual
3m 7s
Switch to thread local Kani Format Check #685: Commit 4c107b1 pushed by zhassan-aws
2m 14s toolchain-2025-11-21-manual
toolchain-2025-11-21-manual
2m 14s
Upgrade Rust toolchain to 2025-11-21 Kani Format Check #684: Commit 4b2d92a pushed by tautschnig
2m 53s toolchain-2025-11-21-manual
toolchain-2025-11-21-manual
2m 53s