Skip to content

Actions: model-checking/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
3,839 workflow runs
3,839 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix CHANGELOG of 0.60.0 (#3925) Kani Format Check #9718: Commit cb01c7b pushed by github-merge-queue bot
March 6, 2025 21:40 3m 35s main
main
March 6, 2025 21:40 3m 35s
Fix CHANGELOG of 0.60.0 (#3925) Kani Format Check #9717: Commit cb01c7b pushed by github-merge-queue bot
March 6, 2025 20:37 2m 43s gh-readonly-queue/main/pr-3925-67cd1e6b074bfe91b8a4fde4c146a5ce6479276d
gh-readonly-queue/main/pr-3925-67cd1e6b074bfe91b8a4fde4c146a5ce6479276d
March 6, 2025 20:37 2m 43s
Kani Format Check Kani Format Check #9716: Merge group checks requested
March 6, 2025 20:37 2m 49s
March 6, 2025 20:37 2m 49s
Fix CHANGELOG of 0.60.0 Kani Format Check #9715: Pull request #3925 opened by qinheping
March 6, 2025 19:37 2m 29s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 19:37 2m 29s
Bump Kani version to 0.60.0 (#3923) Kani Format Check #9714: Commit 67cd1e6 pushed by github-merge-queue bot
March 6, 2025 18:43 2m 35s main
main
March 6, 2025 18:43 2m 35s
Bump Kani version to 0.60.0 (#3923) Kani Format Check #9713: Commit 67cd1e6 pushed by github-merge-queue bot
March 6, 2025 17:45 2m 33s gh-readonly-queue/main/pr-3923-68cb4ee4bea61514c93277919dadcd3b9caf098d
gh-readonly-queue/main/pr-3923-68cb4ee4bea61514c93277919dadcd3b9caf098d
March 6, 2025 17:45 2m 33s
Kani Format Check Kani Format Check #9712: Merge group checks requested
March 6, 2025 17:45 2m 32s
March 6, 2025 17:45 2m 32s
Bump Kani version to 0.60.0 Kani Format Check #9711: Pull request #3923 synchronize by qinheping
March 6, 2025 05:19 2m 20s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 05:19 2m 20s
Bump Kani version to 0.60.0 Kani Format Check #9710: Pull request #3923 synchronize by qinheping
March 6, 2025 05:10 2m 21s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 05:10 2m 21s
Bump Kani version to 0.60.0 Kani Format Check #9709: Pull request #3923 synchronize by qinheping
March 6, 2025 05:06 2m 24s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 05:06 2m 24s
Autoharness Misc. Improvements (#3922) Kani Format Check #9708: Commit 68cb4ee pushed by github-merge-queue bot
March 6, 2025 02:25 2m 23s main
main
March 6, 2025 02:25 2m 23s
Autoharness Misc. Improvements (#3922) Kani Format Check #9707: Commit 68cb4ee pushed by github-merge-queue bot
March 6, 2025 01:37 2m 53s gh-readonly-queue/main/pr-3922-9ea1f38cdb14e4c9b24473e076f387c6ae82f314
gh-readonly-queue/main/pr-3922-9ea1f38cdb14e4c9b24473e076f387c6ae82f314
March 6, 2025 01:37 2m 53s
Kani Format Check Kani Format Check #9706: Merge group checks requested
March 6, 2025 01:37 2m 43s
March 6, 2025 01:37 2m 43s
Autoharness Misc. Improvements Kani Format Check #9705: Pull request #3922 synchronize by carolynzech
March 5, 2025 22:10 2m 29s carolynzech:autoharness-cleanups
carolynzech:autoharness-cleanups
March 5, 2025 22:10 2m 29s
Autoharness Misc. Improvements Kani Format Check #9704: Pull request #3922 synchronize by carolynzech
March 5, 2025 20:40 2m 19s carolynzech:autoharness-cleanups
carolynzech:autoharness-cleanups
March 5, 2025 20:40 2m 19s
Bump Kani version to 0.60.0 Kani Format Check #9703: Pull request #3923 synchronize by qinheping
March 5, 2025 20:31 2m 22s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 5, 2025 20:31 2m 22s
Autoharness Misc. Improvements Kani Format Check #9702: Pull request #3922 synchronize by carolynzech
March 5, 2025 20:31 2m 23s carolynzech:autoharness-cleanups
carolynzech:autoharness-cleanups
March 5, 2025 20:31 2m 23s
Bump Kani version to 0.60.0 Kani Format Check #9701: Pull request #3923 opened by qinheping
March 5, 2025 20:19 2m 22s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 5, 2025 20:19 2m 22s
Autoharness Misc. Improvements Kani Format Check #9700: Pull request #3922 synchronize by carolynzech
March 5, 2025 20:17 3m 9s carolynzech:autoharness-cleanups
carolynzech:autoharness-cleanups
March 5, 2025 20:17 3m 9s
Autoharness Misc. Improvements Kani Format Check #9699: Pull request #3922 opened by carolynzech
March 5, 2025 20:10 2m 26s carolynzech:autoharness-cleanups
carolynzech:autoharness-cleanups
March 5, 2025 20:10 2m 26s
Update toolchain to 2025-03-02 (#3911) Kani Format Check #9698: Commit 9ea1f38 pushed by github-merge-queue bot
March 5, 2025 18:44 2m 28s main
main
March 5, 2025 18:44 2m 28s
Kani Format Check Kani Format Check #9697: Merge group checks requested
March 5, 2025 17:36 2m 31s
March 5, 2025 17:36 2m 31s
Update toolchain to 2025-03-02 (#3911) Kani Format Check #9696: Commit 9ea1f38 pushed by github-merge-queue bot
March 5, 2025 17:36 2m 27s gh-readonly-queue/main/pr-3911-b93e591556d1aaf054b73148604256521a0424fa
gh-readonly-queue/main/pr-3911-b93e591556d1aaf054b73148604256521a0424fa
March 5, 2025 17:36 2m 27s
Install the right toolchain for HEAD and BASE checks in verify-std-check.yml Kani Format Check #9695: Pull request #3920 synchronize by remi-delmas-3000
March 5, 2025 16:12 6m 12s remi-delmas-3000:rustup-head-base
remi-delmas-3000:rustup-head-base
March 5, 2025 16:12 6m 12s
Install the right toolchain for HEAD and BASE checks in verify-std-check.yml Kani Format Check #9694: Pull request #3920 opened by remi-delmas-3000
March 5, 2025 16:00 5m 56s remi-delmas-3000:rustup-head-base
remi-delmas-3000:rustup-head-base
March 5, 2025 16:00 5m 56s