Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
3,840 workflow runs
3,840 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain to 2025-03-03 Kani CI #9888: Pull request #3927 synchronize by qinheping
March 10, 2025 07:57 4m 15s qinheping:toolchain
qinheping:toolchain
March 10, 2025 07:57 4m 15s
Update toolchain to 2025-03-03 Kani CI #9887: Pull request #3927 opened by qinheping
March 10, 2025 07:29 In progress qinheping:toolchain
qinheping:toolchain
March 10, 2025 07:29 In progress
Fix CHANGELOG of 0.60.0 (#3925) Kani CI #9886: Commit cb01c7b pushed by github-merge-queue bot
March 6, 2025 21:40 49m 36s main
main
March 6, 2025 21:40 49m 36s
Kani CI Kani CI #9885: Merge group checks requested
March 6, 2025 20:37 1h 2m 11s
March 6, 2025 20:37 1h 2m 11s
Fix CHANGELOG of 0.60.0 (#3925) Kani CI #9884: Commit cb01c7b pushed by github-merge-queue bot
March 6, 2025 20:37 49m 18s gh-readonly-queue/main/pr-3925-67cd1e6b074bfe91b8a4fde4c146a5ce6479276d
gh-readonly-queue/main/pr-3925-67cd1e6b074bfe91b8a4fde4c146a5ce6479276d
March 6, 2025 20:37 49m 18s
Fix CHANGELOG of 0.60.0 Kani CI #9883: Pull request #3925 opened by qinheping
March 6, 2025 19:37 59m 2s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 19:37 59m 2s
Bump Kani version to 0.60.0 (#3923) Kani CI #9882: Commit 67cd1e6 pushed by github-merge-queue bot
March 6, 2025 18:43 1h 3m 15s main
main
March 6, 2025 18:43 1h 3m 15s
Kani CI Kani CI #9881: Merge group checks requested
March 6, 2025 17:45 52m 8s
March 6, 2025 17:45 52m 8s
Bump Kani version to 0.60.0 (#3923) Kani CI #9880: Commit 67cd1e6 pushed by github-merge-queue bot
March 6, 2025 17:45 57m 41s gh-readonly-queue/main/pr-3923-68cb4ee4bea61514c93277919dadcd3b9caf098d
gh-readonly-queue/main/pr-3923-68cb4ee4bea61514c93277919dadcd3b9caf098d
March 6, 2025 17:45 57m 41s
Bump Kani version to 0.60.0 Kani CI #9879: Pull request #3923 synchronize by qinheping
March 6, 2025 05:19 1h 8m 10s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 05:19 1h 8m 10s
Bump Kani version to 0.60.0 Kani CI #9878: Pull request #3923 synchronize by qinheping
March 6, 2025 05:10 48m 8s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 05:10 48m 8s
Bump Kani version to 0.60.0 Kani CI #9877: Pull request #3923 synchronize by qinheping
March 6, 2025 05:06 50m 24s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 05:06 50m 24s
Autoharness Misc. Improvements (#3922) Kani CI #9876: Commit 68cb4ee pushed by github-merge-queue bot
March 6, 2025 02:25 51m 36s main
main
March 6, 2025 02:25 51m 36s
Autoharness Misc. Improvements (#3922) Kani CI #9875: Commit 68cb4ee pushed by github-merge-queue bot
March 6, 2025 01:37 45m 33s gh-readonly-queue/main/pr-3922-9ea1f38cdb14e4c9b24473e076f387c6ae82f314
gh-readonly-queue/main/pr-3922-9ea1f38cdb14e4c9b24473e076f387c6ae82f314
March 6, 2025 01:37 45m 33s
Kani CI Kani CI #9874: Merge group checks requested
March 6, 2025 01:37 47m 52s
March 6, 2025 01:37 47m 52s
Autoharness Misc. Improvements Kani CI #9873: Pull request #3922 synchronize by carolynzech
March 5, 2025 22:10 55m 1s carolynzech:autoharness-cleanups
carolynzech:autoharness-cleanups
March 5, 2025 22:10 55m 1s
Autoharness Misc. Improvements Kani CI #9872: Pull request #3922 synchronize by carolynzech
March 5, 2025 20:40 46m 6s carolynzech:autoharness-cleanups
carolynzech:autoharness-cleanups
March 5, 2025 20:40 46m 6s
Bump Kani version to 0.60.0 Kani CI #9871: Pull request #3923 synchronize by qinheping
March 5, 2025 20:31 50m 32s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 5, 2025 20:31 50m 32s
Autoharness Misc. Improvements Kani CI #9870: Pull request #3922 synchronize by carolynzech
March 5, 2025 20:31 59m 24s carolynzech:autoharness-cleanups
carolynzech:autoharness-cleanups
March 5, 2025 20:31 59m 24s
Bump Kani version to 0.60.0 Kani CI #9869: Pull request #3923 opened by qinheping
March 5, 2025 20:19 1h 7m 34s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 5, 2025 20:19 1h 7m 34s
Autoharness Misc. Improvements Kani CI #9868: Pull request #3922 synchronize by carolynzech
March 5, 2025 20:17 54m 51s carolynzech:autoharness-cleanups
carolynzech:autoharness-cleanups
March 5, 2025 20:17 54m 51s
Autoharness Misc. Improvements Kani CI #9867: Pull request #3922 opened by carolynzech
March 5, 2025 20:10 58m 0s carolynzech:autoharness-cleanups
carolynzech:autoharness-cleanups
March 5, 2025 20:10 58m 0s
Update toolchain to 2025-03-02 (#3911) Kani CI #9866: Commit 9ea1f38 pushed by github-merge-queue bot
March 5, 2025 18:44 53m 45s main
main
March 5, 2025 18:44 53m 45s
Kani CI Kani CI #9865: Merge group checks requested
March 5, 2025 17:36 51m 59s
March 5, 2025 17:36 51m 59s
Update toolchain to 2025-03-02 (#3911) Kani CI #9864: Commit 9ea1f38 pushed by github-merge-queue bot
March 5, 2025 17:36 1h 7m 56s gh-readonly-queue/main/pr-3911-b93e591556d1aaf054b73148604256521a0424fa
gh-readonly-queue/main/pr-3911-b93e591556d1aaf054b73148604256521a0424fa
March 5, 2025 17:36 1h 7m 56s