Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automatic toolchain upgrade to nightly-2025-12-04 Kani CI #12501: Pull request #4526 reopened by tautschnig
1h 0m 19s toolchain-2025-12-04
toolchain-2025-12-04
1h 0m 19s
Fixing the bug of moving (instead of cloning) the expression inside `… Kani CI #12500: Commit 1e3dc05 pushed by github-merge-queue bot
1h 1m 34s main
main
1h 1m 34s
Upgrade toolchain to 2025-12-03 (#4516) Kani CI #12499: Commit c7080a4 pushed by github-merge-queue bot
48m 8s main
main
48m 8s
Kani CI Kani CI #12498: Merge group checks requested
52m 26s
52m 26s
Fixing the bug of moving (instead of cloning) the expression inside `… Kani CI #12497: Commit 1e3dc05 pushed by github-merge-queue bot
53m 16s gh-readonly-queue/main/pr-4513-c7080a47a5c75e3842227392e2f6b08e60c15f0b
gh-readonly-queue/main/pr-4513-c7080a47a5c75e3842227392e2f6b08e60c15f0b
53m 16s
Kani CI Kani CI #12496: Merge group checks requested
51m 39s
51m 39s
Upgrade toolchain to 2025-12-03 (#4516) Kani CI #12495: Commit c7080a4 pushed by github-merge-queue bot
1h 5m 40s gh-readonly-queue/main/pr-4516-b0f19931cef6662df42de476aedf6ca79040d81e
gh-readonly-queue/main/pr-4516-b0f19931cef6662df42de476aedf6ca79040d81e
1h 5m 40s
Upgrade toolchain to 2025-12-03 Kani CI #12494: Pull request #4516 synchronize by tautschnig
1h 17m 10s zhassan-aws:toolchain-2025-12-05
zhassan-aws:toolchain-2025-12-05
1h 17m 10s
Upgrade toolchain to 2025-12-03 Kani CI #12493: Pull request #4516 synchronize by tautschnig
1h 36m 16s zhassan-aws:toolchain-2025-12-05
zhassan-aws:toolchain-2025-12-05
1h 36m 16s
Bump tests/perf/s2n-quic from 058783f to 3735675 (#4525) Kani CI #12492: Commit b0f1993 pushed by github-merge-queue bot
50m 31s main
main
50m 31s
Upgrade toolchain to 2025-12-03 Kani CI #12491: Pull request #4516 synchronize by tautschnig
51m 3s zhassan-aws:toolchain-2025-12-05
zhassan-aws:toolchain-2025-12-05
51m 3s
Bump tests/perf/s2n-quic from 058783f to 3735675 (#4525) Kani CI #12489: Commit b0f1993 pushed by github-merge-queue bot
44m 57s gh-readonly-queue/main/pr-4525-ea561465213b11667455fb177f1f360dda015924
gh-readonly-queue/main/pr-4525-ea561465213b11667455fb177f1f360dda015924
44m 57s
Kani CI Kani CI #12488: Merge group checks requested
57m 48s
57m 48s
Bump tests/perf/s2n-quic from 058783f to 3735675 Kani CI #12487: Pull request #4525 opened by dependabot bot
59m 6s dependabot/submodules/tests/perf/s2n-quic-3735675
dependabot/submodules/tests/perf/s2n-quic-3735675
59m 6s
Bump tests/perf/s2n-quic from 058783f to 3735675 Kani CI #12486: Commit 91e3e23 pushed by dependabot bot
52m 38s dependabot/submodules/tests/perf/s2n-quic-3735675
dependabot/submodules/tests/perf/s2n-quic-3735675
52m 38s
Automatic toolchain upgrade to nightly-2025-11-28 (#4523) Kani CI #12485: Commit ea56146 pushed by github-merge-queue bot
46m 28s main
main
46m 28s
Kani CI Kani CI #12484: Merge group checks requested
1h 9m 44s
1h 9m 44s
Automatic toolchain upgrade to nightly-2025-11-28 (#4523) Kani CI #12483: Commit ea56146 pushed by github-merge-queue bot
51m 22s gh-readonly-queue/main/pr-4523-87b6ac0776e923c96cf2791a42b34eb917657967
gh-readonly-queue/main/pr-4523-87b6ac0776e923c96cf2791a42b34eb917657967
51m 22s
Automatic toolchain upgrade to nightly-2025-11-28 Kani CI #12482: Pull request #4523 reopened by tautschnig
59m 24s toolchain-2025-11-28
toolchain-2025-11-28
59m 24s
Automatic toolchain upgrade to nightly-2025-11-27 (#4522) Kani CI #12481: Commit 87b6ac0 pushed by github-merge-queue bot
59m 55s main
main
59m 55s
Kani CI Kani CI #12480: Merge group checks requested
1h 0m 17s
1h 0m 17s
Automatic toolchain upgrade to nightly-2025-11-27 (#4522) Kani CI #12479: Commit 87b6ac0 pushed by github-merge-queue bot
50m 55s gh-readonly-queue/main/pr-4522-a450e5a7da8ec2b0bbda7145b33f71480167bbae
gh-readonly-queue/main/pr-4522-a450e5a7da8ec2b0bbda7145b33f71480167bbae
50m 55s
Automatic toolchain upgrade to nightly-2025-11-27 Kani CI #12478: Pull request #4522 reopened by tautschnig
58m 3s toolchain-2025-11-27
toolchain-2025-11-27
58m 3s
Automatic cargo update to 2026-01-19 (#4521) Kani CI #12477: Commit a450e5a pushed by github-merge-queue bot
49m 19s main
main
49m 19s
Automatic toolchain upgrade to nightly-2025-11-26 (#4520) Kani CI #12476: Commit 2b66e4f pushed by github-merge-queue bot
53m 9s main
main
53m 9s