Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
1,036 workflow runs
1,036 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 #1687: Merge group checks requested
1h 52m 56s
1h 52m 56s
Add autoharness-analyzer CI job Kani #1686: Pull request #344 synchronize by tautschnig
2h 14m 59s tautschnig:autoharness-analyzer
tautschnig:autoharness-analyzer
2h 14m 59s
Add autoharness-analyzer CI job Kani #1685: Pull request #344 synchronize by tautschnig
1h 51m 13s tautschnig:autoharness-analyzer
tautschnig:autoharness-analyzer
1h 51m 13s
Add autoharness-analyzer CI job Kani #1684: Pull request #344 synchronize by tautschnig
1h 50m 15s tautschnig:autoharness-analyzer
tautschnig:autoharness-analyzer
1h 50m 15s
Add autoharness-analyzer CI job Kani #1683: Pull request #344 synchronize by tautschnig
1h 42m 37s tautschnig:autoharness-analyzer
tautschnig:autoharness-analyzer
1h 42m 37s
Add autoharness-analyzer CI job Kani #1682: Pull request #344 synchronize by tautschnig
1h 47m 13s tautschnig:autoharness-analyzer
tautschnig:autoharness-analyzer
1h 47m 13s
Add autoharness-analyzer CI job Kani #1681: Pull request #344 synchronize by tautschnig
2h 4m 13s tautschnig:autoharness-analyzer
tautschnig:autoharness-analyzer
2h 4m 13s
Add autoharness-analyzer CI job Kani #1680: Pull request #344 opened by tautschnig
2h 2m 17s tautschnig:autoharness-analyzer
tautschnig:autoharness-analyzer
2h 2m 17s
Update Kani Metrics Kani #1679: Pull request #343 reopened by tautschnig
1h 48m 25s update-kani-metrics
update-kani-metrics
1h 48m 25s
Add autoharness to run-kani script and use in CI Kani #1678: Pull request #334 synchronize by tautschnig
3h 5m 17s tautschnig:autoharness-support
tautschnig:autoharness-support
3h 5m 17s
Add autoharness to run-kani script and use in CI Kani #1677: Pull request #334 synchronize by tautschnig
1h 47m 45s tautschnig:autoharness-support
tautschnig:autoharness-support
1h 47m 45s
Add autoharness to run-kani script and use in CI Kani #1676: Pull request #334 synchronize by tautschnig
1h 41m 8s tautschnig:autoharness-support
tautschnig:autoharness-support
1h 41m 8s
Parse log file of multi-threaded Kani run (terse output) into JSON Kani #1675: Pull request #324 synchronize by tautschnig
1h 43m 27s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
1h 43m 27s
Merge subtree update for toolchain nightly-2025-04-24 (#342) Kani #1674: Commit 23a9436 pushed by github-merge-queue Bot
1h 48m 15s main
main
1h 48m 15s
Add autoharness to run-kani script and use in CI Kani #1673: Pull request #334 synchronize by tautschnig
3h 16m 52s tautschnig:autoharness-support
tautschnig:autoharness-support
3h 16m 52s
Add autoharness to run-kani script and use in CI Kani #1672: Pull request #334 synchronize by tautschnig
15s tautschnig:autoharness-support
tautschnig:autoharness-support
15s
Add autoharness to run-kani script and use in CI Kani #1671: Pull request #334 synchronize by tautschnig
3h 7m 10s tautschnig:autoharness-support
tautschnig:autoharness-support
3h 7m 10s
Merge subtree update for toolchain nightly-2025-04-24 (#342) Kani #1670: Commit 23a9436 pushed by github-merge-queue Bot
1h 57m 15s gh-readonly-queue/main/pr-342-c28334fd1c1b21108d212070a939cbdf43f4eefa
gh-readonly-queue/main/pr-342-c28334fd1c1b21108d212070a939cbdf43f4eefa
1h 57m 15s
Kani Kani #1669: Merge group checks requested
1h 44m 59s
1h 44m 59s
Kani Kani #1668: Merge group checks requested
1h 51m 50s
1h 51m 50s
Merge subtree update for toolchain nightly-2025-04-24 Kani #1667: Pull request #342 synchronize by carolynzech
1h 57m 13s sync-2025-04-24
sync-2025-04-24
1h 57m 13s
fix conflicts Kani #1666: Commit 9771247 pushed by carolynzech
1h 52m 16s sync-2025-04-24
sync-2025-04-24
1h 52m 16s
Parse log file of multi-threaded Kani run (terse output) into JSON Kani #1665: Pull request #324 synchronize by tautschnig
1h 56m 52s tautschnig:metrics-tooling2
tautschnig:metrics-tooling2
1h 56m 52s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Kani #1664: Pull request #338 synchronize by tautschnig
1h 54m 31s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
1h 54m 31s
NonZero (unchecked_mul & unchecked_add) Proof for Contracts Kani #1663: Pull request #338 synchronize by tautschnig
1h 54m 8s tautschnig:unchecked_mull_add
tautschnig:unchecked_mull_add
1h 54m 8s
ProTip! You can narrow down the results and go further in time using created:<2025-04-24 or the other filters available.