Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automatic toolchain upgrade to nightly-2025-01-16 (#3836) Kani CI #9517: Commit 72637ee pushed by github-merge-queue bot
January 16, 2025 09:13 59m 54s main
main
January 16, 2025 09:13 59m 54s
Kani CI Kani CI #9516: Merge group checks requested
January 16, 2025 08:07 1h 2m 11s
January 16, 2025 08:07 1h 2m 11s
Automatic toolchain upgrade to nightly-2025-01-16 (#3836) Kani CI #9515: Commit 72637ee pushed by github-merge-queue bot
January 16, 2025 08:07 1h 5m 54s gh-readonly-queue/main/pr-3836-1e249518fe601b012306f429852be66fa0e96c84
gh-readonly-queue/main/pr-3836-1e249518fe601b012306f429852be66fa0e96c84
January 16, 2025 08:07 1h 5m 54s
Automatic toolchain upgrade to nightly-2025-01-16 Kani CI #9514: Pull request #3836 reopened by qinheping
January 16, 2025 05:18 48m 24s toolchain-2025-01-16
toolchain-2025-01-16
January 16, 2025 05:18 48m 24s
Upgrade toolchain to 2025-01-15 (#3835) Kani CI #9513: Commit 1e24951 pushed by github-merge-queue bot
January 15, 2025 18:01 50m 10s main
main
January 15, 2025 18:01 50m 10s
Upgrade toolchain to 2025-01-15 (#3835) Kani CI #9512: Commit 1e24951 pushed by github-merge-queue bot
January 15, 2025 16:54 1h 6m 22s gh-readonly-queue/main/pr-3835-d6052af7c20ef65d12070cc439d2d88532590742
gh-readonly-queue/main/pr-3835-d6052af7c20ef65d12070cc439d2d88532590742
January 15, 2025 16:54 1h 6m 22s
Kani CI Kani CI #9511: Merge group checks requested
January 15, 2025 16:54 57m 9s
January 15, 2025 16:54 57m 9s
Upgrade toolchain to 2025-01-15 Kani CI #9510: Pull request #3835 opened by tautschnig
January 15, 2025 14:56 1h 3m 56s tautschnig:toolchain-2025-01-14-manual
tautschnig:toolchain-2025-01-14-manual
January 15, 2025 14:56 1h 3m 56s
Automatic toolchain upgrade to nightly-2025-01-13 (#3833) Kani CI #9509: Commit d6052af pushed by github-merge-queue bot
January 15, 2025 13:26 1h 6m 27s main
main
January 15, 2025 13:26 1h 6m 27s
Kani CI Kani CI #9508: Merge group checks requested
January 15, 2025 12:22 50m 59s
January 15, 2025 12:22 50m 59s
Automatic toolchain upgrade to nightly-2025-01-13 (#3833) Kani CI #9507: Commit d6052af pushed by github-merge-queue bot
January 15, 2025 12:22 1h 3m 49s gh-readonly-queue/main/pr-3833-89a41d2e4c1d02e4ba76b71a33cddeb70e39e4d0
gh-readonly-queue/main/pr-3833-89a41d2e4c1d02e4ba76b71a33cddeb70e39e4d0
January 15, 2025 12:22 1h 3m 49s
Automatic toolchain upgrade to nightly-2025-01-13 Kani CI #9506: Pull request #3833 reopened by tautschnig
January 15, 2025 10:52 1h 6m 56s toolchain-2025-01-13
toolchain-2025-01-13
January 15, 2025 10:52 1h 6m 56s
Automatic toolchain upgrade to nightly-2025-01-12 (#3831) Kani CI #9505: Commit 89a41d2 pushed by github-merge-queue bot
January 15, 2025 09:42 1h 11m 20s main
main
January 15, 2025 09:42 1h 11m 20s
Automatic toolchain upgrade to nightly-2025-01-12 (#3831) Kani CI #9504: Commit 89a41d2 pushed by github-merge-queue bot
January 15, 2025 08:32 1h 3m 28s gh-readonly-queue/main/pr-3831-441cde086c7812b7f8290762e7eab30b9ff39a49
gh-readonly-queue/main/pr-3831-441cde086c7812b7f8290762e7eab30b9ff39a49
January 15, 2025 08:32 1h 3m 28s
Kani CI Kani CI #9503: Merge group checks requested
January 15, 2025 08:32 1h 9m 36s
January 15, 2025 08:32 1h 9m 36s
Update Charon submodule (#3823) Kani CI #9502: Commit 441cde0 pushed by github-merge-queue bot
January 14, 2025 20:33 1h 9m 42s main
main
January 14, 2025 20:33 1h 9m 42s
Update Charon submodule (#3823) Kani CI #9501: Commit 441cde0 pushed by github-merge-queue bot
January 14, 2025 19:09 1h 4m 9s gh-readonly-queue/main/pr-3823-5efd8b6e54e846b85037655927de0b9798b91df9
gh-readonly-queue/main/pr-3823-5efd8b6e54e846b85037655927de0b9798b91df9
January 14, 2025 19:09 1h 4m 9s
Kani CI Kani CI #9500: Merge group checks requested
January 14, 2025 19:09 1h 23m 55s
January 14, 2025 19:09 1h 23m 55s
Update Charon submodule Kani CI #9499: Pull request #3823 synchronize by thanhnguyen-aws
January 14, 2025 17:37 1h 2m 7s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 14, 2025 17:37 1h 2m 7s
Verify contracts/stubs for generic types with multiple inherent imple… Kani CI #9498: Commit 5efd8b6 pushed by github-merge-queue bot
January 14, 2025 17:15 1h 7m 53s main
main
January 14, 2025 17:15 1h 7m 53s
Kani CI Kani CI #9497: Merge group checks requested
January 14, 2025 15:54 1h 20m 7s
January 14, 2025 15:54 1h 20m 7s
Verify contracts/stubs for generic types with multiple inherent imple… Kani CI #9496: Commit 5efd8b6 pushed by github-merge-queue bot
January 14, 2025 15:54 1h 8m 40s gh-readonly-queue/main/pr-3829-6fda22249ab4b4cc563278e69863ec3251514d4b
gh-readonly-queue/main/pr-3829-6fda22249ab4b4cc563278e69863ec3251514d4b
January 14, 2025 15:54 1h 8m 40s
Verify contracts/stubs for generic types with multiple inherent implementations Kani CI #9495: Pull request #3829 synchronize by carolynzech
January 14, 2025 14:40 1h 13m 57s carolynzech:issue-3773
carolynzech:issue-3773
January 14, 2025 14:40 1h 13m 57s
Automatic toolchain upgrade to nightly-2025-01-12 Kani CI #9494: Pull request #3831 reopened by tautschnig
January 14, 2025 13:26 1h 13m 42s toolchain-2025-01-12
toolchain-2025-01-12
January 14, 2025 13:26 1h 13m 42s
Automatic toolchain upgrade to nightly-2025-01-11 (#3830) Kani CI #9493: Commit 6fda222 pushed by github-merge-queue bot
January 14, 2025 12:41 1h 10m 37s main
main
January 14, 2025 12:41 1h 10m 37s