Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automatic cargo update to 2026-01-26 (#4527) Kani CI #12516: Commit 43a64c1 pushed by github-merge-queue bot
1h 0m 16s main
main
1h 0m 16s
Bump tests/perf/s2n-quic from 3735675 to db83c40 (#4529) Kani CI #12515: Commit fa4f5b6 pushed by github-merge-queue bot
46m 23s main
main
46m 23s
Automatic cargo update to 2026-01-26 (#4527) Kani CI #12514: Commit 43a64c1 pushed by github-merge-queue bot
47m 9s gh-readonly-queue/main/pr-4527-fa4f5b6f9fca98216ab83a1b08d4b11ddef67680
gh-readonly-queue/main/pr-4527-fa4f5b6f9fca98216ab83a1b08d4b11ddef67680
47m 9s
Kani CI Kani CI #12513: Merge group checks requested
49m 32s
49m 32s
Bump tests/perf/s2n-quic from 3735675 to db83c40 (#4529) Kani CI #12512: Commit fa4f5b6 pushed by github-merge-queue bot
1h 5m 59s gh-readonly-queue/main/pr-4529-1e3dc05d0c0306c9386d6b6787703c9ef99cd0c9
gh-readonly-queue/main/pr-4529-1e3dc05d0c0306c9386d6b6787703c9ef99cd0c9
1h 5m 59s
Kani CI Kani CI #12511: Merge group checks requested
1h 19m 59s
1h 19m 59s
Bump tests/perf/s2n-quic from 3735675 to db83c40 Kani CI #12510: Pull request #4529 opened by dependabot bot
56m 4s dependabot/submodules/tests/perf/s2n-quic-db83c40
dependabot/submodules/tests/perf/s2n-quic-db83c40
56m 4s
Bump tests/perf/s2n-quic from 3735675 to db83c40 Kani CI #12509: Commit 6f43152 pushed by dependabot bot
49m 52s dependabot/submodules/tests/perf/s2n-quic-db83c40
dependabot/submodules/tests/perf/s2n-quic-db83c40
49m 52s
Add progress indicator and log file output for concise terminal output Kani CI #12508: Pull request #4528 synchronize by tautschnig
46m 24s tautschnig:progress-bar
tautschnig:progress-bar
46m 24s
Add progress indicator and log file output for concise terminal output Kani CI #12507: Pull request #4528 synchronize by tautschnig
45m 58s tautschnig:progress-bar
tautschnig:progress-bar
45m 58s
Add progress indicator and log file output for concise terminal output Kani CI #12506: Pull request #4528 synchronize by tautschnig
47m 31s tautschnig:progress-bar
tautschnig:progress-bar
47m 31s
Add progress indicator and log file output for concise terminal output Kani CI #12505: Pull request #4528 synchronize by tautschnig
47m 10s tautschnig:progress-bar
tautschnig:progress-bar
47m 10s
Add progress indicator and log file output for concise terminal output Kani CI #12504: Pull request #4528 synchronize by tautschnig
47m 27s tautschnig:progress-bar
tautschnig:progress-bar
47m 27s
Add progress indicator and log file output for concise terminal output Kani CI #12503: Pull request #4528 opened by tautschnig
48m 4s tautschnig:progress-bar
tautschnig:progress-bar
48m 4s
Automatic cargo update to 2026-01-26 Kani CI #12502: Pull request #4527 reopened by tautschnig
48m 30s cargo-update-2026-01-26
cargo-update-2026-01-26
48m 30s
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