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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Upgrade toolchain to 2/10 Kani Format Check #9538: Pull request #3883 synchronize by carolynzech
February 11, 2025 15:15 2m 35s carolynzech:toolchain-2-10
carolynzech:toolchain-2-10
February 11, 2025 15:15 2m 35s
Autoharness Subcommand Kani Format Check #9537: Pull request #3874 synchronize by carolynzech
February 11, 2025 15:00 3m 59s carolynzech:optional-harness
carolynzech:optional-harness
February 11, 2025 15:00 3m 59s
Fast fail feature - Stops verification process as soon as one failure… Kani Format Check #9536: Commit 4f78926 pushed by github-merge-queue bot
February 11, 2025 02:04 2m 45s main
main
February 11, 2025 02:04 2m 45s
Fast fail feature - Stops verification process as soon as one failure… Kani Format Check #9535: Commit 4f78926 pushed by github-merge-queue bot
February 11, 2025 01:10 3m 19s gh-readonly-queue/main/pr-3879-759e2c5c93fc59c3ad9ca9b8163ee4c4745c9c17
gh-readonly-queue/main/pr-3879-759e2c5c93fc59c3ad9ca9b8163ee4c4745c9c17
February 11, 2025 01:10 3m 19s
Kani Format Check Kani Format Check #9534: Merge group checks requested
February 11, 2025 01:10 2m 35s
February 11, 2025 01:10 2m 35s
Fast fail feature - Stops verification process as soon as one failure is observed - Use case : CI speed up Kani Format Check #9533: Pull request #3879 synchronize by rajath-mk
February 10, 2025 23:51 3m 56s rajath-mk:fast-fail-feature
rajath-mk:fast-fail-feature
February 10, 2025 23:51 3m 56s
Fast fail feature - Stops verification process as soon as one failure is observed - Use case : CI speed up Kani Format Check #9532: Pull request #3879 synchronize by rajath-mk
February 10, 2025 22:47 3m 30s rajath-mk:fast-fail-feature
rajath-mk:fast-fail-feature
February 10, 2025 22:47 3m 30s
Fast fail feature - Stops verification process as soon as one failure is observed - Use case : CI speed up Kani Format Check #9531: Pull request #3879 synchronize by rajath-mk
February 10, 2025 22:36 1m 57s rajath-mk:fast-fail-feature
rajath-mk:fast-fail-feature
February 10, 2025 22:36 1m 57s
Bump tests/perf/s2n-quic from 82dd0b5 to a5d8422 (#3882) Kani Format Check #9529: Commit 759e2c5 pushed by github-merge-queue bot
February 10, 2025 20:00 3m 35s main
main
February 10, 2025 20:00 3m 35s
Autoharness Subcommand Kani Format Check #9528: Pull request #3874 synchronize by carolynzech
February 10, 2025 19:45 2m 30s carolynzech:optional-harness
carolynzech:optional-harness
February 10, 2025 19:45 2m 30s
Upgrade toolchain to 2/10 Kani Format Check #9527: Pull request #3883 synchronize by carolynzech
February 10, 2025 19:24 3m 30s carolynzech:toolchain-2-10
carolynzech:toolchain-2-10
February 10, 2025 19:24 3m 30s
Bump tests/perf/s2n-quic from 82dd0b5 to a5d8422 (#3882) Kani Format Check #9526: Commit 759e2c5 pushed by github-merge-queue bot
February 10, 2025 19:09 3m 10s gh-readonly-queue/main/pr-3882-a66bb06a50e9b4cfa67a4db44a2882313570bf9f
gh-readonly-queue/main/pr-3882-a66bb06a50e9b4cfa67a4db44a2882313570bf9f
February 10, 2025 19:09 3m 10s
Kani Format Check Kani Format Check #9525: Merge group checks requested
February 10, 2025 19:09 2m 31s
February 10, 2025 19:09 2m 31s
Fast fail feature - Stops verification process as soon as one failure is observed - Use case : CI speed up Kani Format Check #9524: Pull request #3879 synchronize by rajath-mk
February 10, 2025 18:38 2m 41s rajath-mk:fast-fail-feature
rajath-mk:fast-fail-feature
February 10, 2025 18:38 2m 41s
Upgrade toolchain to 2/10 Kani Format Check #9522: Pull request #3883 opened by carolynzech
February 10, 2025 17:24 3m 50s carolynzech:toolchain-2-10
carolynzech:toolchain-2-10
February 10, 2025 17:24 3m 50s