Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
1,031 workflow runs
1,031 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
Kani Kani #1612: Merge group checks requested
1h 48m 7s
1h 48m 7s
Add loop_invariants for some Int power functions Kani #1611: Pull request #327 synchronize by thanhnguyen-aws
11m 10s thanhnguyen-aws:addvariant
thanhnguyen-aws:addvariant
11m 10s
Add loop_invariants for some Int power functions Kani #1610: Pull request #327 synchronize by thanhnguyen-aws
6m 57s thanhnguyen-aws:addvariant
thanhnguyen-aws:addvariant
6m 57s
Subtree update automation: create merge PR even when subtree/library is up-to-date Kani #1609: Pull request #326 synchronize by tautschnig
1h 52m 23s tautschnig:disentable-update-logic
tautschnig:disentable-update-logic
1h 52m 23s
Add loop_invariants for some Int power functions Kani #1608: Pull request #327 opened by thanhnguyen-aws
7m 16s thanhnguyen-aws:addvariant
thanhnguyen-aws:addvariant
7m 16s
Subtree update automation: create merge PR even when subtree/library is up-to-date Kani #1607: Pull request #326 opened by tautschnig
1h 52m 54s tautschnig:disentable-update-logic
tautschnig:disentable-update-logic
1h 52m 54s
Add kmir tool description and CI workflow Kani #1606: Pull request #310 synchronize by jberthold
1h 50m 22s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
1h 50m 22s
Add kmir tool description and CI workflow Kani #1605: Pull request #310 synchronize by jberthold
1h 44m 43s runtimeverification:add-kmir-tool
runtimeverification:add-kmir-tool
1h 44m 43s
Merge subtree update for toolchain nightly-2025-04-06 (#320) Kani #1604: Commit 0d860d0 pushed by github-merge-queue Bot
1h 45m 31s main
main
1h 45m 31s
Kani Kani #1603: Merge group checks requested
2h 44m 0s
2h 44m 0s
Merge subtree update for toolchain nightly-2025-04-06 (#320) Kani #1602: Commit 0d860d0 pushed by github-merge-queue Bot
1h 44m 48s gh-readonly-queue/main/pr-320-659982c24ecfd5ba40d08cd88b8d6e35e17c5cf4
gh-readonly-queue/main/pr-320-659982c24ecfd5ba40d08cd88b8d6e35e17c5cf4
1h 44m 48s
Kani Kani #1601: Merge group checks requested
1h 50m 6s
1h 50m 6s
Update Kani Metrics Kani #1600: Pull request #322 reopened by tautschnig
2h 0m 56s update-kani-metrics
update-kani-metrics
2h 0m 56s
Remove unused subtree update helper scripts Kani #1599: Pull request #325 opened by tautschnig
1h 56m 7s tautschnig:cleanup-scripts
tautschnig:cleanup-scripts
1h 56m 7s
Parse log file of multi-threaded Kani run (terse output) into JSON Kani #1598: Pull request #324 opened by tautschnig
1h 53m 30s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
1h 53m 30s
Add script to text-extract all contracts Kani #1597: Pull request #323 opened by tautschnig
1h 49m 10s tautschnig:metrics-tooling
tautschnig:metrics-tooling
1h 49m 10s
additional transmute and transmute_unchecked harnesses Kani #1596: Pull request #264 synchronize by AlexLB99
2h 23m 19s AlexLB99:transmute
AlexLB99:transmute
2h 23m 19s
Merge subtree update for toolchain nightly-2025-04-06 Kani #1595: Pull request #320 synchronize by tautschnig
1h 48m 4s sync-2025-04-06
sync-2025-04-06
1h 48m 4s
Resolve merge conflict Kani #1594: Commit b7c512f pushed by tautschnig
1h 55m 10s sync-2025-04-06
sync-2025-04-06
1h 55m 10s
Merge subtree update for toolchain nightly-2025-04-06 Kani #1593: Pull request #320 reopened by carolynzech
5m 39s sync-2025-04-06
sync-2025-04-06
5m 39s
additional transmute and transmute_unchecked harnesses Kani #1592: Pull request #264 synchronize by AlexLB99
2h 9m 15s AlexLB99:transmute
AlexLB99:transmute
2h 9m 15s
additional transmute and transmute_unchecked harnesses Kani #1591: Pull request #264 synchronize by AlexLB99
2h 9m 15s AlexLB99:transmute
AlexLB99:transmute
2h 9m 15s
Merge subtree update for toolchain nightly-2025-04-04 (#318) Kani #1590: Commit 659982c pushed by github-merge-queue Bot
1h 41m 1s main
main
1h 41m 1s
Merge subtree update for toolchain nightly-2025-04-04 (#318) Kani #1589: Commit 659982c pushed by github-merge-queue Bot
1h 57m 30s gh-readonly-queue/main/pr-318-95003273cb9cce80a2ad417c854039101ac1ccf7
gh-readonly-queue/main/pr-318-95003273cb9cce80a2ad417c854039101ac1ccf7
1h 57m 30s
Kani Kani #1588: Merge group checks requested
1h 55m 1s
1h 55m 1s
ProTip! You can narrow down the results and go further in time using created:<2025-04-09 or the other filters available.