Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
246 workflow runs
246 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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