Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automatic cargo update to 2026-03-16 (#4561) Kani CI #12644: Commit 4c8e1ad pushed by github-merge-queue bot
1h 30m 3s main
main
1h 30m 3s
Automatic cargo update to 2026-03-16 (#4561) Kani CI #12643: Commit 4c8e1ad pushed by github-merge-queue bot
1h 26m 3s gh-readonly-queue/main/pr-4561-d1abc2cf96a44244dbfcdfd37bd2707288b553e8
gh-readonly-queue/main/pr-4561-d1abc2cf96a44244dbfcdfd37bd2707288b553e8
1h 26m 3s
Kani CI Kani CI #12642: Merge group checks requested
1h 10m 27s
1h 10m 27s
Bump ncipollo/release-action from 1.20.0 to 1.21.0 (#4562) Kani CI #12641: Commit d1abc2c pushed by github-merge-queue bot
1h 20m 57s gh-readonly-queue/main/pr-4562-5084d8b9f548b8bc4f4c8939fc5cbed85abee346
gh-readonly-queue/main/pr-4562-5084d8b9f548b8bc4f4c8939fc5cbed85abee346
1h 20m 57s
Kani CI Kani CI #12640: Merge group checks requested
1h 19m 27s
1h 19m 27s
Bump ncipollo/release-action from 1.20.0 to 1.21.0 Kani CI #12639: Pull request #4562 opened by dependabot bot
1h 18m 59s dependabot/github_actions/ncipollo/release-action-1.21.0
dependabot/github_actions/ncipollo/release-action-1.21.0
1h 18m 59s
Bump ncipollo/release-action from 1.20.0 to 1.21.0 Kani CI #12638: Commit 5895771 pushed by dependabot bot
1h 12m 34s dependabot/github_actions/ncipollo/release-action-1.21.0
dependabot/github_actions/ncipollo/release-action-1.21.0
1h 12m 34s
Automatic cargo update to 2026-03-16 Kani CI #12637: Pull request #4561 reopened by tautschnig
45m 44s cargo-update-2026-03-16
cargo-update-2026-03-16
45m 44s
Automatic toolchain upgrade to nightly-2025-12-04 Kani CI #12636: Pull request #4526 synchronize by feliperodri
1h 19m 14s toolchain-2025-12-04
toolchain-2025-12-04
1h 19m 14s
Merge branch 'main' into toolchain-2025-12-04 Kani CI #12635: Commit 5372367 pushed by feliperodri
1h 23m 6s toolchain-2025-12-04
toolchain-2025-12-04
1h 23m 6s
Bump docker/login-action from 3 to 4 (#4558) Kani CI #12634: Commit 5084d8b pushed by github-merge-queue bot
1h 21m 50s main
main
1h 21m 50s
Bump tests/perf/s2n-quic from 296b644 to 82c66f2 (#4560) Kani CI #12633: Commit 03f50de pushed by github-merge-queue bot
48m 25s main
main
48m 25s
Bump docker/login-action from 3 to 4 (#4558) Kani CI #12632: Commit 5084d8b pushed by github-merge-queue bot
1h 9m 40s gh-readonly-queue/main/pr-4558-03f50de2efb8bbfea5bab8215d88e8e105ac2a05
gh-readonly-queue/main/pr-4558-03f50de2efb8bbfea5bab8215d88e8e105ac2a05
1h 9m 40s
Kani CI Kani CI #12631: Merge group checks requested
1h 17m 6s
1h 17m 6s
Bump tests/perf/s2n-quic from 296b644 to 82c66f2 (#4560) Kani CI #12630: Commit 03f50de pushed by github-merge-queue bot
1h 32m 37s gh-readonly-queue/main/pr-4560-486cd227507674f1a11572583a6f7f57b60c74a6
gh-readonly-queue/main/pr-4560-486cd227507674f1a11572583a6f7f57b60c74a6
1h 32m 37s
Kani CI Kani CI #12629: Merge group checks requested
1h 3m 47s
1h 3m 47s
Kani CI Kani CI #12628: Merge group checks requested
1h 27m 42s
1h 27m 42s
Bump docker/build-push-action from 6 to 7 (#4559) Kani CI #12627: Commit 486cd22 pushed by github-merge-queue bot
54m 40s gh-readonly-queue/main/pr-4559-8ebb363833bb60f5add0200063c7f26193bd6a7c
gh-readonly-queue/main/pr-4559-8ebb363833bb60f5add0200063c7f26193bd6a7c
54m 40s
Bump tests/perf/s2n-quic from 296b644 to 82c66f2 Kani CI #12626: Pull request #4560 opened by dependabot bot
59m 6s dependabot/submodules/tests/perf/s2n-quic-82c66f2
dependabot/submodules/tests/perf/s2n-quic-82c66f2
59m 6s
Bump tests/perf/s2n-quic from 296b644 to 82c66f2 Kani CI #12625: Commit 03ca83b pushed by dependabot bot
1h 19m 9s dependabot/submodules/tests/perf/s2n-quic-82c66f2
dependabot/submodules/tests/perf/s2n-quic-82c66f2
1h 19m 9s
Bump docker/build-push-action from 6 to 7 Kani CI #12624: Pull request #4559 opened by dependabot bot
1h 13m 47s dependabot/github_actions/docker/build-push-action-7
dependabot/github_actions/docker/build-push-action-7
1h 13m 47s
Bump docker/build-push-action from 6 to 7 Kani CI #12623: Commit 92a6f46 pushed by dependabot bot
1h 30m 18s dependabot/github_actions/docker/build-push-action-7
dependabot/github_actions/docker/build-push-action-7
1h 30m 18s
Bump docker/login-action from 3 to 4 Kani CI #12622: Pull request #4558 opened by dependabot bot
1h 0m 36s dependabot/github_actions/docker/login-action-4
dependabot/github_actions/docker/login-action-4
1h 0m 36s
Bump docker/login-action from 3 to 4 Kani CI #12621: Commit d554f42 pushed by dependabot bot
48m 8s dependabot/github_actions/docker/login-action-4
dependabot/github_actions/docker/login-action-4
48m 8s
Automatic cargo update to 2026-03-09 (#4557) Kani CI #12620: Commit 8ebb363 pushed by github-merge-queue bot
1h 1m 28s main
main
1h 1m 28s