Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
3,907 workflow runs
3,907 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix: regression test from #3888 has version control change Kani CI #9763: Pull request #3892 synchronize by carolynzech
February 18, 2025 16:46 56m 11s carolynzech:fix-test
carolynzech:fix-test
February 18, 2025 16:46 56m 11s
Document demonic non-determinism Kani CI #9762: Pull request #3895 synchronize by tautschnig
February 18, 2025 16:41 1h 13m 15s tautschnig:doc-demonic-nondet
tautschnig:doc-demonic-nondet
February 18, 2025 16:41 1h 13m 15s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani CI #9761: Pull request #3893 synchronize by tautschnig
February 18, 2025 16:19 1h 9m 10s tautschnig:rfc-may-panic
tautschnig:rfc-may-panic
February 18, 2025 16:19 1h 9m 10s
Fix: regression test from #3888 has version control change Kani CI #9760: Pull request #3892 synchronize by carolynzech
February 18, 2025 15:09 47m 13s carolynzech:fix-test
carolynzech:fix-test
February 18, 2025 15:09 47m 13s
Document demonic non-determinism Kani CI #9759: Pull request #3895 opened by tautschnig
February 18, 2025 13:56 57m 12s tautschnig:doc-demonic-nondet
tautschnig:doc-demonic-nondet
February 18, 2025 13:56 57m 12s
Adjust PropertyClass of assertions to identify UB (#3860) Kani CI #9758: Commit ac8e0b9 pushed by github-merge-queue bot
February 18, 2025 12:21 59m 57s main
main
February 18, 2025 12:21 59m 57s
Kani CI Kani CI #9757: Merge group checks requested
February 18, 2025 11:24 49m 58s
February 18, 2025 11:24 49m 58s
Adjust PropertyClass of assertions to identify UB (#3860) Kani CI #9756: Commit ac8e0b9 pushed by github-merge-queue bot
February 18, 2025 11:24 56m 21s gh-readonly-queue/main/pr-3860-53b28f2fc4cae53dbd003f981cfed9792bdc565e
gh-readonly-queue/main/pr-3860-53b28f2fc4cae53dbd003f981cfed9792bdc565e
February 18, 2025 11:24 56m 21s
Adjust PropertyClass of assertions to identify UB Kani CI #9755: Pull request #3860 synchronize by tautschnig
February 18, 2025 10:34 49m 17s tautschnig:audit-property-class
tautschnig:audit-property-class
February 18, 2025 10:34 49m 17s
Adjust PropertyClass of assertions to identify UB Kani CI #9754: Pull request #3860 synchronize by tautschnig
February 18, 2025 10:28 57m 2s tautschnig:audit-property-class
tautschnig:audit-property-class
February 18, 2025 10:28 57m 2s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani CI #9753: Pull request #3893 synchronize by tautschnig
February 18, 2025 10:24 1h 3m 35s tautschnig:rfc-may-panic
tautschnig:rfc-may-panic
February 18, 2025 10:24 1h 3m 35s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani CI #9752: Pull request #3893 synchronize by tautschnig
February 18, 2025 10:13 1h 5m 28s tautschnig:rfc-may-panic
tautschnig:rfc-may-panic
February 18, 2025 10:13 1h 5m 28s
Fix: regression test from #3888 has version control change Kani CI #9751: Pull request #3892 synchronize by carolynzech
February 17, 2025 19:38 59m 9s carolynzech:fix-test
carolynzech:fix-test
February 17, 2025 19:38 59m 9s
Bump tests/perf/s2n-quic from a5d8422 to 00e3371 (#3894) Kani CI #9750: Commit 53b28f2 pushed by github-merge-queue bot
February 17, 2025 18:56 1h 0m 1s main
main
February 17, 2025 18:56 1h 0m 1s
Kani CI Kani CI #9749: Merge group checks requested
February 17, 2025 18:01 58m 44s
February 17, 2025 18:01 58m 44s
Bump tests/perf/s2n-quic from a5d8422 to 00e3371 (#3894) Kani CI #9748: Commit 53b28f2 pushed by github-merge-queue bot
February 17, 2025 18:01 55m 8s gh-readonly-queue/main/pr-3894-d588378c6ffa4754a54a3fd8a98438702773c1f6
gh-readonly-queue/main/pr-3894-d588378c6ffa4754a54a3fd8a98438702773c1f6
February 17, 2025 18:01 55m 8s
Bump tests/perf/s2n-quic from a5d8422 to 00e3371 Kani CI #9747: Pull request #3894 opened by dependabot bot
February 17, 2025 16:55 1h 5m 14s dependabot/submodules/tests/perf/s2n-quic-00e3371
dependabot/submodules/tests/perf/s2n-quic-00e3371
February 17, 2025 16:55 1h 5m 14s
Bump tests/perf/s2n-quic from a5d8422 to 00e3371 Kani CI #9746: Commit bbfaa63 pushed by dependabot bot
February 17, 2025 16:55 50m 41s dependabot/submodules/tests/perf/s2n-quic-00e3371
dependabot/submodules/tests/perf/s2n-quic-00e3371
February 17, 2025 16:55 50m 41s
Automatic cargo update to 2025-02-17 (#3889) Kani CI #9745: Commit d588378 pushed by github-merge-queue bot
February 17, 2025 15:34 53m 35s main
main
February 17, 2025 15:34 53m 35s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani CI #9744: Pull request #3893 opened by tautschnig
February 17, 2025 15:32 50m 46s tautschnig:rfc-may-panic
tautschnig:rfc-may-panic
February 17, 2025 15:32 50m 46s
Fix: regression test from #3888 has version control change Kani CI #9743: Pull request #3892 opened by carolynzech
February 17, 2025 15:11 53m 18s carolynzech:fix-test
carolynzech:fix-test
February 17, 2025 15:11 53m 18s
Automatic cargo update to 2025-02-17 (#3889) Kani CI #9742: Commit d588378 pushed by github-merge-queue bot
February 17, 2025 14:25 1h 8m 11s gh-readonly-queue/main/pr-3889-ff3aea37216b84704b1525590c1519353ea3abcd
gh-readonly-queue/main/pr-3889-ff3aea37216b84704b1525590c1519353ea3abcd
February 17, 2025 14:25 1h 8m 11s
Kani CI Kani CI #9741: Merge group checks requested
February 17, 2025 14:25 57m 2s
February 17, 2025 14:25 57m 2s
Automatic cargo update to 2025-02-17 Kani CI #9740: Pull request #3889 reopened by tautschnig
February 17, 2025 13:21 1h 3m 26s cargo-update-2025-02-17
cargo-update-2025-02-17
February 17, 2025 13:21 1h 3m 26s
Upgrade toolchain to 2025-02-11 Kani CI #9739: Pull request #3887 synchronize by thanhnguyen-aws
February 14, 2025 21:24 48m 38s thanhnguyen-aws:update-toolchain-02-11
thanhnguyen-aws:update-toolchain-02-11
February 14, 2025 21:24 48m 38s