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

Automatic cargo update to 2025-02-24 Kani Format Check #9618: Pull request #3901 reopened by zhassan-aws
February 24, 2025 04:29 2m 30s cargo-update-2025-02-24
cargo-update-2025-02-24
February 24, 2025 04:29 2m 30s
Upgrade the toolchain to 2025-02-21 (#3899) Kani Format Check #9617: Commit 4e54539 pushed by github-merge-queue bot
February 22, 2025 01:23 2m 33s main
main
February 22, 2025 01:23 2m 33s
Upgrade the toolchain to 2025-02-21 (#3899) Kani Format Check #9616: Commit 4e54539 pushed by github-merge-queue bot
February 22, 2025 00:31 2m 34s gh-readonly-queue/main/pr-3899-fe0d9d2a63c969898bfe733b3ab4a13cc834bf0b
gh-readonly-queue/main/pr-3899-fe0d9d2a63c969898bfe733b3ab4a13cc834bf0b
February 22, 2025 00:31 2m 34s
Kani Format Check Kani Format Check #9615: Merge group checks requested
February 22, 2025 00:31 3m 46s
February 22, 2025 00:31 3m 46s
Upgrade the toolchain to 2025-02-21 Kani Format Check #9614: Pull request #3899 synchronize by zhassan-aws
February 21, 2025 23:34 2m 38s zhassan-aws:nightly-2025-02-21
zhassan-aws:nightly-2025-02-21
February 21, 2025 23:34 2m 38s
Automatic toolchain upgrade to nightly-2025-02-12 (#3898) Kani Format Check #9613: Commit fe0d9d2 pushed by github-merge-queue bot
February 21, 2025 23:33 3m 48s main
main
February 21, 2025 23:33 3m 48s
Remove isize overflow check for zst offsets (#3897) Kani Format Check #9612: Commit 2e95d8b pushed by github-merge-queue bot
February 21, 2025 23:05 2m 33s main
main
February 21, 2025 23:05 2m 33s
Upgrade the toolchain to 2025-02-21 Kani Format Check #9611: Pull request #3899 opened by zhassan-aws
February 21, 2025 22:38 4m 14s zhassan-aws:nightly-2025-02-21
zhassan-aws:nightly-2025-02-21
February 21, 2025 22:38 4m 14s
Kani Format Check Kani Format Check #9610: Merge group checks requested
February 21, 2025 22:24 3m 44s
February 21, 2025 22:24 3m 44s
Automatic toolchain upgrade to nightly-2025-02-12 (#3898) Kani Format Check #9609: Commit fe0d9d2 pushed by github-merge-queue bot
February 21, 2025 22:24 4m 6s gh-readonly-queue/main/pr-3898-2e95d8bc47a04f01badcb3d30875269be29a46aa
gh-readonly-queue/main/pr-3898-2e95d8bc47a04f01badcb3d30875269be29a46aa
February 21, 2025 22:24 4m 6s
Kani Format Check Kani Format Check #9608: Merge group checks requested
February 21, 2025 21:55 3m 39s
February 21, 2025 21:55 3m 39s
Remove isize overflow check for zst offsets (#3897) Kani Format Check #9607: Commit 2e95d8b pushed by github-merge-queue bot
February 21, 2025 21:55 2m 44s gh-readonly-queue/main/pr-3897-51de000bb2063e9ab4420add3e8d8bf58804271d
gh-readonly-queue/main/pr-3897-51de000bb2063e9ab4420add3e8d8bf58804271d
February 21, 2025 21:55 2m 44s
Automatic toolchain upgrade to nightly-2025-02-12 Kani Format Check #9606: Pull request #3898 reopened by carolynzech
February 21, 2025 20:56 3m 57s toolchain-2025-02-12
toolchain-2025-02-12
February 21, 2025 20:56 3m 57s
Remove isize overflow check for zst offsets Kani Format Check #9605: Pull request #3897 synchronize by carolynzech
February 21, 2025 20:55 2m 37s carolynzech:offset-zsts
carolynzech:offset-zsts
February 21, 2025 20:55 2m 37s
Remove isize overflow check for zst offsets Kani Format Check #9604: Pull request #3897 opened by carolynzech
February 21, 2025 20:47 3m 43s carolynzech:offset-zsts
carolynzech:offset-zsts
February 21, 2025 20:47 3m 43s
Upgrade toolchain to 2025-02-11 (#3887) Kani Format Check #9603: Commit 51de000 pushed by github-merge-queue bot
February 21, 2025 20:05 5m 40s main
main
February 21, 2025 20:05 5m 40s
Upgrade toolchain to 2025-02-11 (#3887) Kani Format Check #9602: Commit 51de000 pushed by github-merge-queue bot
February 21, 2025 19:02 4m 19s gh-readonly-queue/main/pr-3887-006e5daa9c48ff5e055de342780dd5172213a979
gh-readonly-queue/main/pr-3887-006e5daa9c48ff5e055de342780dd5172213a979
February 21, 2025 19:02 4m 19s
Kani Format Check Kani Format Check #9601: Merge group checks requested
February 21, 2025 19:02 3m 51s
February 21, 2025 19:02 3m 51s
Upgrade toolchain to 2025-02-11 Kani Format Check #9600: Pull request #3887 synchronize by zhassan-aws
February 21, 2025 18:04 3m 51s thanhnguyen-aws:update-toolchain-02-11
thanhnguyen-aws:update-toolchain-02-11
February 21, 2025 18:04 3m 51s
Upgrade toolchain to 2025-02-11 Kani Format Check #9599: Pull request #3887 synchronize by zhassan-aws
February 21, 2025 18:03 5m 38s thanhnguyen-aws:update-toolchain-02-11
thanhnguyen-aws:update-toolchain-02-11
February 21, 2025 18:03 5m 38s
Fix: regression test from #3888 has version control change (#3892) Kani Format Check #9598: Commit 006e5da pushed by github-merge-queue bot
February 19, 2025 16:27 4m 29s main
main
February 19, 2025 16:27 4m 29s
Fix: regression test from #3888 has version control change (#3892) Kani Format Check #9597: Commit 006e5da pushed by github-merge-queue bot
February 19, 2025 15:32 4m 5s gh-readonly-queue/main/pr-3892-ac8e0b93d68542b632ff28a888243c6806f72882
gh-readonly-queue/main/pr-3892-ac8e0b93d68542b632ff28a888243c6806f72882
February 19, 2025 15:32 4m 5s
Kani Format Check Kani Format Check #9596: Merge group checks requested
February 19, 2025 15:32 4m 5s
February 19, 2025 15:32 4m 5s
Fix: regression test from #3888 has version control change Kani Format Check #9595: Pull request #3892 synchronize by carolynzech
February 18, 2025 16:46 2m 35s carolynzech:fix-test
carolynzech:fix-test
February 18, 2025 16:46 2m 35s
Document demonic non-determinism Kani Format Check #9594: Pull request #3895 synchronize by tautschnig
February 18, 2025 16:41 2m 33s tautschnig:doc-demonic-nondet
tautschnig:doc-demonic-nondet
February 18, 2025 16:41 2m 33s