Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
1,627 workflow runs
1,627 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge subtree update for toolchain nightly-2025-07-21 (#428) Kani #2032: Commit 71c5bf3 pushed by github-merge-queue bot
July 30, 2025 00:00 1h 13m 36s main
main
July 30, 2025 00:00 1h 13m 36s
Merge subtree update for toolchain nightly-2025-07-21 (#428) Kani #2031: Commit 71c5bf3 pushed by github-merge-queue bot
July 29, 2025 22:43 1h 16m 33s gh-readonly-queue/main/pr-428-4c08921b632e1dd307cbd838cc760391b40961af
gh-readonly-queue/main/pr-428-4c08921b632e1dd307cbd838cc760391b40961af
July 29, 2025 22:43 1h 16m 33s
Kani Kani #2030: Merge group checks requested
July 29, 2025 22:43 1h 14m 17s
July 29, 2025 22:43 1h 14m 17s
Add loop_invariant and harness for array reverse Kani #2029: Pull request #430 synchronize by thanhnguyen-aws
July 29, 2025 22:11 1h 24m 21s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
July 29, 2025 22:11 1h 24m 21s
Add loop_invariant and harness for array reverse Kani #2028: Pull request #430 opened by thanhnguyen-aws
July 29, 2025 21:57 18m 55s thanhnguyen-aws:reverseinvariant
thanhnguyen-aws:reverseinvariant
July 29, 2025 21:57 18m 55s
Merge subtree update for toolchain nightly-2025-07-21 Kani #2027: Pull request #428 synchronize by tautschnig
July 29, 2025 21:31 1h 16m 20s sync-2025-07-21
sync-2025-07-21
July 29, 2025 21:31 1h 16m 20s
Loop invariants and harnesses for memchr functions Kani #2026: Pull request #429 synchronize by thanhnguyen-aws
July 29, 2025 20:58 6h 13m 31s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
July 29, 2025 20:58 6h 13m 31s
Loop invariants and harnesses for memchr functions Kani #2025: Pull request #429 synchronize by thanhnguyen-aws
July 29, 2025 20:42 29m 32s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
July 29, 2025 20:42 29m 32s
Loop invariants and harnesses for memchr functions Kani #2024: Pull request #429 synchronize by thanhnguyen-aws
July 29, 2025 19:47 6h 5m 6s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
July 29, 2025 19:47 6h 5m 6s
Loop invariants and harnesses for memchr functions Kani #2023: Pull request #429 opened by thanhnguyen-aws
July 29, 2025 18:42 1h 12m 21s thanhnguyen-aws:memchrinvariant
thanhnguyen-aws:memchrinvariant
July 29, 2025 18:42 1h 12m 21s
Merge subtree update for toolchain nightly-2025-07-21 Kani #2022: Pull request #428 synchronize by tautschnig
July 29, 2025 16:31 1h 13m 10s sync-2025-07-21
sync-2025-07-21
July 29, 2025 16:31 1h 13m 10s
Further conflict resolution Kani #2021: Commit f31b28d pushed by tautschnig
July 29, 2025 16:31 36m 32s sync-2025-07-21
sync-2025-07-21
July 29, 2025 16:31 36m 32s
Merge subtree update for toolchain nightly-2025-07-21 Kani #2020: Pull request #428 synchronize by tautschnig
July 29, 2025 15:54 8m 39s sync-2025-07-21
sync-2025-07-21
July 29, 2025 15:54 8m 39s
Fixup conflict resolution Kani #2019: Commit 1caa240 pushed by tautschnig
July 29, 2025 15:54 6m 5s sync-2025-07-21
sync-2025-07-21
July 29, 2025 15:54 6m 5s
Merge subtree update for toolchain nightly-2025-07-21 Kani #2018: Pull request #428 synchronize by tautschnig
July 29, 2025 15:52 6m 13s sync-2025-07-21
sync-2025-07-21
July 29, 2025 15:52 6m 13s
Resolve conflicts Kani #2017: Commit 9f4a836 pushed by tautschnig
July 29, 2025 15:52 6m 10s sync-2025-07-21
sync-2025-07-21
July 29, 2025 15:52 6m 10s
Kani Kani #2016: Merge group checks requested
July 28, 2025 00:27 1h 20m 1s
July 28, 2025 00:27 1h 20m 1s
Kani Kani #2015: Merge group checks requested
July 28, 2025 00:27 1h 9m 4s
July 28, 2025 00:27 1h 9m 4s
Kani Kani #2014: Merge group checks requested
July 27, 2025 21:17 1h 7m 16s
July 27, 2025 21:17 1h 7m 16s
Update Kani Metrics Kani #2013: Pull request #424 reopened by tautschnig
July 27, 2025 20:06 1h 10m 55s update-kani-metrics
update-kani-metrics
July 27, 2025 20:06 1h 10m 55s
Add missing line breaks in 0020-str-pattern-pt1.md Kani #2012: Pull request #426 opened by btj
July 27, 2025 16:55 1h 10m 24s btj:patch-4
btj:patch-4
July 27, 2025 16:55 1h 10m 24s
Fix table in 0025-vecdeque.md Kani #2011: Pull request #425 opened by btj
July 27, 2025 16:26 1h 9m 10s btj:patch-3
btj:patch-3
July 27, 2025 16:26 1h 9m 10s
Testable Models for SIMD Intrinsics Kani #2010: Pull request #423 opened by karthikbhargavan
July 25, 2025 13:59 1h 16m 43s cryspen:main
cryspen:main
July 25, 2025 13:59 1h 16m 43s
align_to and align_to_mut contract and harnesses (#405) Kani #2009: Commit 099ad08 pushed by github-merge-queue bot
July 24, 2025 19:11 1h 11m 32s main
main
July 24, 2025 19:11 1h 11m 32s
Kani Kani #2008: Merge group checks requested
July 24, 2025 18:00 1h 15m 5s
July 24, 2025 18:00 1h 15m 5s