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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade toolchain to 2025-02-11 Kani Format Check #9563: Pull request #3887 synchronize by thanhnguyen-aws
February 13, 2025 21:05 2m 35s thanhnguyen-aws:update-toolchain-02-11
thanhnguyen-aws:update-toolchain-02-11
February 13, 2025 21:05 2m 35s
Upgrade toolchain to 2025-02-11 Kani Format Check #9562: Pull request #3887 synchronize by thanhnguyen-aws
February 13, 2025 20:54 2m 38s thanhnguyen-aws:update-toolchain-02-11
thanhnguyen-aws:update-toolchain-02-11
February 13, 2025 20:54 2m 38s
Upgrade toolchain to 2025-02-11 Kani Format Check #9561: Pull request #3887 synchronize by thanhnguyen-aws
February 13, 2025 20:51 3m 49s thanhnguyen-aws:update-toolchain-02-11
thanhnguyen-aws:update-toolchain-02-11
February 13, 2025 20:51 3m 49s
Support concrete playback for arrays of length 65 or greater Kani Format Check #9560: Pull request #3888 synchronize by carolynzech
February 13, 2025 19:50 2m 25s carolynzech:issue-3787
carolynzech:issue-3787
February 13, 2025 19:50 2m 25s
Support concrete playback for arrays of length 65 or greater Kani Format Check #9559: Pull request #3888 synchronize by carolynzech
February 13, 2025 19:46 7m 18s carolynzech:issue-3787
carolynzech:issue-3787
February 13, 2025 19:46 7m 18s
Support concrete playback for arrays of length 65 or greater Kani Format Check #9558: Pull request #3888 reopened by carolynzech
February 13, 2025 19:45 3m 13s carolynzech:issue-3787
carolynzech:issue-3787
February 13, 2025 19:45 3m 13s
Support concrete playback for arrays of length 65 or greater Kani Format Check #9557: Pull request #3888 synchronize by carolynzech
February 13, 2025 19:33 3m 27s carolynzech:issue-3787
carolynzech:issue-3787
February 13, 2025 19:33 3m 27s
Support concrete playback for arrays of length 65 or greater Kani Format Check #9556: Pull request #3888 synchronize by carolynzech
February 13, 2025 19:17 1m 53s carolynzech:issue-3787
carolynzech:issue-3787
February 13, 2025 19:17 1m 53s
Support concrete playback for arrays of length 65 or greater Kani Format Check #9555: Pull request #3888 opened by carolynzech
February 13, 2025 04:22 1m 49s carolynzech:issue-3787
carolynzech:issue-3787
February 13, 2025 04:22 1m 49s
Adjust PropertyClass of assertions to identify UB Kani Format Check #9554: Pull request #3860 synchronize by tautschnig
February 13, 2025 00:57 2m 36s tautschnig:audit-property-class
tautschnig:audit-property-class
February 13, 2025 00:57 2m 36s
Adjust PropertyClass of assertions to identify UB Kani Format Check #9553: Pull request #3860 synchronize by tautschnig
February 13, 2025 00:46 3m 53s tautschnig:audit-property-class
tautschnig:audit-property-class
February 13, 2025 00:46 3m 53s
Adjust PropertyClass of assertions to identify UB Kani Format Check #9552: Pull request #3860 synchronize by tautschnig
February 12, 2025 20:40 1m 59s tautschnig:audit-property-class
tautschnig:audit-property-class
February 12, 2025 20:40 1m 59s
Add loop-contracts doc to SUMMARY (#3886) Kani Format Check #9551: Commit 475ea5e pushed by github-merge-queue bot
February 12, 2025 20:18 3m 42s main
main
February 12, 2025 20:18 3m 42s
Add loop-contracts doc to SUMMARY (#3886) Kani Format Check #9550: Commit 475ea5e pushed by github-merge-queue bot
February 12, 2025 19:24 4m 11s gh-readonly-queue/main/pr-3886-81e9aa3063251cbe2474f18281c7292ebd41e667
gh-readonly-queue/main/pr-3886-81e9aa3063251cbe2474f18281c7292ebd41e667
February 12, 2025 19:24 4m 11s
Kani Format Check Kani Format Check #9549: Merge group checks requested
February 12, 2025 19:24 2m 25s
February 12, 2025 19:24 2m 25s
Upgrade toolchain to 2025-02-11 Kani Format Check #9548: Pull request #3887 opened by thanhnguyen-aws
February 12, 2025 19:08 3m 42s thanhnguyen-aws:update-toolchain-02-11
thanhnguyen-aws:update-toolchain-02-11
February 12, 2025 19:08 3m 42s
Add loop-contracts doc to SUMMARY Kani Format Check #9547: Pull request #3886 opened by qinheping
February 12, 2025 18:28 4m 24s qinheping:docs/loop-contracts
qinheping:docs/loop-contracts
February 12, 2025 18:28 4m 24s
Upgrade toolchain to 2/10 (#3883) Kani Format Check #9546: Commit 81e9aa3 pushed by github-merge-queue bot
February 11, 2025 19:16 5m 10s main
main
February 11, 2025 19:16 5m 10s
Upgrade toolchain to 2/10 (#3883) Kani Format Check #9545: Commit 81e9aa3 pushed by github-merge-queue bot
February 11, 2025 18:21 2m 33s gh-readonly-queue/main/pr-3883-8b2ec7737b8f5153841b216b553cb69250809124
gh-readonly-queue/main/pr-3883-8b2ec7737b8f5153841b216b553cb69250809124
February 11, 2025 18:21 2m 33s
Kani Format Check Kani Format Check #9544: Merge group checks requested
February 11, 2025 18:21 4m 2s
February 11, 2025 18:21 4m 2s
Autoharness Subcommand (#3874) Kani Format Check #9543: Commit 8b2ec77 pushed by github-merge-queue bot
February 11, 2025 16:51 3m 32s main
main
February 11, 2025 16:51 3m 32s
Autoharness Subcommand (#3874) Kani Format Check #9542: Commit 8b2ec77 pushed by github-merge-queue bot
February 11, 2025 15:56 3m 45s gh-readonly-queue/main/pr-3874-4f78926bf46891a5bcd6ed94a6ce1550640a9dc9
gh-readonly-queue/main/pr-3874-4f78926bf46891a5bcd6ed94a6ce1550640a9dc9
February 11, 2025 15:56 3m 45s
Kani Format Check Kani Format Check #9541: Merge group checks requested
February 11, 2025 15:56 2m 28s
February 11, 2025 15:56 2m 28s
Kani Format Check Kani Format Check #9540: Merge group checks requested
February 11, 2025 15:50 2m 29s
February 11, 2025 15:50 2m 29s
Autoharness Subcommand (#3874) Kani Format Check #9539: Commit 82586e0 pushed by github-merge-queue bot
February 11, 2025 15:50 2m 32s gh-readonly-queue/main/pr-3874-4f78926bf46891a5bcd6ed94a6ce1550640a9dc9
gh-readonly-queue/main/pr-3874-4f78926bf46891a5bcd6ed94a6ce1550640a9dc9
February 11, 2025 15:50 2m 32s