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,838 workflow runs
3,838 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain to 2025-03-02 Kani Format Check #9693: Pull request #3911 synchronize by remi-delmas-3000
March 5, 2025 15:43 3m 43s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
March 5, 2025 15:43 3m 43s
Update toolchain to 2025-03-02 Kani Format Check #9692: Pull request #3911 synchronize by remi-delmas-3000
March 5, 2025 15:11 2m 41s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
March 5, 2025 15:11 2m 41s
Update toolchain to 2025-03-02 Kani Format Check #9691: Pull request #3911 synchronize by remi-delmas-3000
March 5, 2025 03:12 2m 26s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
March 5, 2025 03:12 2m 26s
Update toolchain to 2025-03-02 Kani Format Check #9690: Pull request #3911 synchronize by remi-delmas-3000
March 5, 2025 03:10 1m 58s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
March 5, 2025 03:10 1m 58s
Update toolchain to 2025-03-02 Kani Format Check #9689: Pull request #3911 synchronize by remi-delmas-3000
March 5, 2025 03:02 1m 49s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
March 5, 2025 03:02 1m 49s
Update toolchain to 2025-03-02 Kani Format Check #9688: Pull request #3911 synchronize by remi-delmas-3000
March 5, 2025 02:59 1m 55s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
March 5, 2025 02:59 1m 55s
Update toolchain to 2025-03-02 Kani Format Check #9687: Pull request #3911 synchronize by remi-delmas-3000
March 4, 2025 21:48 1m 53s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
March 4, 2025 21:48 1m 53s
Update toolchain to 2025-03-02 Kani Format Check #9686: Pull request #3911 synchronize by remi-delmas-3000
March 4, 2025 21:40 2m 7s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
March 4, 2025 21:40 2m 7s
Update toolchain to 2025-03-02 Kani Format Check #9685: Pull request #3911 synchronize by remi-delmas-3000
March 4, 2025 20:57 1m 48s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
March 4, 2025 20:57 1m 48s
Move standard-library metrics script to verify-rust-std repo (#3914) Kani Format Check #9684: Commit b93e591 pushed by github-merge-queue bot
March 4, 2025 20:32 2m 23s main
main
March 4, 2025 20:32 2m 23s
Update toolchain to 2025-03-02 Kani Format Check #9683: Pull request #3911 synchronize by remi-delmas-3000
March 4, 2025 19:56 2m 2s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
March 4, 2025 19:56 2m 2s
Kani Format Check Kani Format Check #9682: Merge group checks requested
March 4, 2025 19:27 2m 40s
March 4, 2025 19:27 2m 40s
Move standard-library metrics script to verify-rust-std repo (#3914) Kani Format Check #9681: Commit b93e591 pushed by github-merge-queue bot
March 4, 2025 19:27 2m 36s gh-readonly-queue/main/pr-3914-f604bef4070cbead4ebc78a934faf8aca78a091f
gh-readonly-queue/main/pr-3914-f604bef4070cbead4ebc78a934faf8aca78a091f
March 4, 2025 19:27 2m 36s
Kani Format Check Kani Format Check #9680: Merge group checks requested
March 4, 2025 19:27 2m 28s
March 4, 2025 19:27 2m 28s
scanner: Fix loop stats in overall function stats summary (#3915) Kani Format Check #9679: Commit f604bef pushed by github-merge-queue bot
March 4, 2025 19:27 2m 30s gh-readonly-queue/main/pr-3915-fecc7e47bac7625bf85ff5888af37d96904d246e
gh-readonly-queue/main/pr-3915-fecc7e47bac7625bf85ff5888af37d96904d246e
March 4, 2025 19:27 2m 30s
Remove Ubuntu 20.04 CI usage (#3918) Kani Format Check #9678: Commit fecc7e4 pushed by github-merge-queue bot
March 4, 2025 19:06 2m 31s main
main
March 4, 2025 19:06 2m 31s
Kani Format Check Kani Format Check #9677: Merge group checks requested
March 4, 2025 18:06 3m 39s
March 4, 2025 18:06 3m 39s
Remove Ubuntu 20.04 CI usage (#3918) Kani Format Check #9676: Commit fecc7e4 pushed by github-merge-queue bot
March 4, 2025 18:06 2m 42s gh-readonly-queue/main/pr-3918-182fb6c74f52159c2b3ebcf8cf72829cb5614975
gh-readonly-queue/main/pr-3918-182fb6c74f52159c2b3ebcf8cf72829cb5614975
March 4, 2025 18:06 2m 42s
Move standard-library metrics script to verify-rust-std repo (#3914) Kani Format Check #9675: Commit a6fc772 pushed by github-merge-queue bot
March 4, 2025 17:39 19s gh-readonly-queue/main/pr-3914-182fb6c74f52159c2b3ebcf8cf72829cb5614975
gh-readonly-queue/main/pr-3914-182fb6c74f52159c2b3ebcf8cf72829cb5614975
March 4, 2025 17:39 19s
Kani Format Check Kani Format Check #9674: Merge group checks requested
March 4, 2025 17:39 29s
March 4, 2025 17:39 29s
Remove Ubuntu 20.04 CI usage Kani Format Check #9673: Pull request #3918 opened by tautschnig
March 4, 2025 17:17 2m 31s tautschnig:remove-20-04
tautschnig:remove-20-04
March 4, 2025 17:17 2m 31s
Kani Format Check Kani Format Check #9672: Merge group checks requested
March 4, 2025 14:59 28s
March 4, 2025 14:59 28s
Move standard-library metrics script to verify-rust-std repo (#3914) Kani Format Check #9671: Commit 51477ee pushed by github-merge-queue bot
March 4, 2025 14:59 25s gh-readonly-queue/main/pr-3914-182fb6c74f52159c2b3ebcf8cf72829cb5614975
gh-readonly-queue/main/pr-3914-182fb6c74f52159c2b3ebcf8cf72829cb5614975
March 4, 2025 14:59 25s
Kani Format Check Kani Format Check #9670: Merge group checks requested
March 4, 2025 14:57 15s
March 4, 2025 14:57 15s
Move standard-library metrics script to verify-rust-std repo (#3914) Kani Format Check #9669: Commit ebef47b pushed by github-merge-queue bot
March 4, 2025 14:57 15s gh-readonly-queue/main/pr-3914-182fb6c74f52159c2b3ebcf8cf72829cb5614975
gh-readonly-queue/main/pr-3914-182fb6c74f52159c2b3ebcf8cf72829cb5614975
March 4, 2025 14:57 15s