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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
RFC: Attribute to distinguish safety preconditions from panic freedom Kani Format Check #9593: Pull request #3893 synchronize by tautschnig
February 18, 2025 16:19 3m 59s tautschnig:rfc-may-panic
tautschnig:rfc-may-panic
February 18, 2025 16:19 3m 59s
Fix: regression test from #3888 has version control change Kani Format Check #9592: Pull request #3892 synchronize by carolynzech
February 18, 2025 15:09 3m 34s carolynzech:fix-test
carolynzech:fix-test
February 18, 2025 15:09 3m 34s
Document demonic non-determinism Kani Format Check #9591: Pull request #3895 opened by tautschnig
February 18, 2025 13:56 2m 26s tautschnig:doc-demonic-nondet
tautschnig:doc-demonic-nondet
February 18, 2025 13:56 2m 26s
Adjust PropertyClass of assertions to identify UB (#3860) Kani Format Check #9590: Commit ac8e0b9 pushed by github-merge-queue bot
February 18, 2025 12:21 3m 38s main
main
February 18, 2025 12:21 3m 38s
Adjust PropertyClass of assertions to identify UB (#3860) Kani Format Check #9589: Commit ac8e0b9 pushed by github-merge-queue bot
February 18, 2025 11:24 3m 43s gh-readonly-queue/main/pr-3860-53b28f2fc4cae53dbd003f981cfed9792bdc565e
gh-readonly-queue/main/pr-3860-53b28f2fc4cae53dbd003f981cfed9792bdc565e
February 18, 2025 11:24 3m 43s
Kani Format Check Kani Format Check #9588: Merge group checks requested
February 18, 2025 11:24 2m 30s
February 18, 2025 11:24 2m 30s
Adjust PropertyClass of assertions to identify UB Kani Format Check #9587: Pull request #3860 synchronize by tautschnig
February 18, 2025 10:34 4m 14s tautschnig:audit-property-class
tautschnig:audit-property-class
February 18, 2025 10:34 4m 14s
Adjust PropertyClass of assertions to identify UB Kani Format Check #9586: Pull request #3860 synchronize by tautschnig
February 18, 2025 10:28 3m 19s tautschnig:audit-property-class
tautschnig:audit-property-class
February 18, 2025 10:28 3m 19s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani Format Check #9585: Pull request #3893 synchronize by tautschnig
February 18, 2025 10:24 3m 39s tautschnig:rfc-may-panic
tautschnig:rfc-may-panic
February 18, 2025 10:24 3m 39s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani Format Check #9584: Pull request #3893 synchronize by tautschnig
February 18, 2025 10:13 3m 31s tautschnig:rfc-may-panic
tautschnig:rfc-may-panic
February 18, 2025 10:13 3m 31s
Fix: regression test from #3888 has version control change Kani Format Check #9583: Pull request #3892 synchronize by carolynzech
February 17, 2025 19:38 3m 41s carolynzech:fix-test
carolynzech:fix-test
February 17, 2025 19:38 3m 41s
Bump tests/perf/s2n-quic from a5d8422 to 00e3371 (#3894) Kani Format Check #9582: Commit 53b28f2 pushed by github-merge-queue bot
February 17, 2025 18:56 2m 31s main
main
February 17, 2025 18:56 2m 31s
Kani Format Check Kani Format Check #9581: Merge group checks requested
February 17, 2025 18:01 2m 27s
February 17, 2025 18:01 2m 27s
Bump tests/perf/s2n-quic from a5d8422 to 00e3371 (#3894) Kani Format Check #9580: Commit 53b28f2 pushed by github-merge-queue bot
February 17, 2025 18:01 3m 44s gh-readonly-queue/main/pr-3894-d588378c6ffa4754a54a3fd8a98438702773c1f6
gh-readonly-queue/main/pr-3894-d588378c6ffa4754a54a3fd8a98438702773c1f6
February 17, 2025 18:01 3m 44s
Bump tests/perf/s2n-quic from a5d8422 to 00e3371 Kani Format Check #9579: Pull request #3894 opened by dependabot bot
February 17, 2025 16:55 2m 21s dependabot/submodules/tests/perf/s2n-quic-00e3371
dependabot/submodules/tests/perf/s2n-quic-00e3371
February 17, 2025 16:55 2m 21s
Bump tests/perf/s2n-quic from a5d8422 to 00e3371 Kani Format Check #9578: Commit bbfaa63 pushed by dependabot bot
February 17, 2025 16:55 3m 43s dependabot/submodules/tests/perf/s2n-quic-00e3371
dependabot/submodules/tests/perf/s2n-quic-00e3371
February 17, 2025 16:55 3m 43s
Automatic cargo update to 2025-02-17 (#3889) Kani Format Check #9577: Commit d588378 pushed by github-merge-queue bot
February 17, 2025 15:34 4m 11s main
main
February 17, 2025 15:34 4m 11s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani Format Check #9576: Pull request #3893 opened by tautschnig
February 17, 2025 15:32 3m 42s tautschnig:rfc-may-panic
tautschnig:rfc-may-panic
February 17, 2025 15:32 3m 42s
Fix: regression test from #3888 has version control change Kani Format Check #9575: Pull request #3892 opened by carolynzech
February 17, 2025 15:11 2m 33s carolynzech:fix-test
carolynzech:fix-test
February 17, 2025 15:11 2m 33s
Kani Format Check Kani Format Check #9574: Merge group checks requested
February 17, 2025 14:25 3m 45s
February 17, 2025 14:25 3m 45s
Automatic cargo update to 2025-02-17 (#3889) Kani Format Check #9573: Commit d588378 pushed by github-merge-queue bot
February 17, 2025 14:25 4m 18s gh-readonly-queue/main/pr-3889-ff3aea37216b84704b1525590c1519353ea3abcd
gh-readonly-queue/main/pr-3889-ff3aea37216b84704b1525590c1519353ea3abcd
February 17, 2025 14:25 4m 18s