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

Bump ncipollo/release-action from 1.14.0 to 1.15.0 Kani CI #9467: Commit 925f76c pushed by dependabot bot
January 13, 2025 16:35 59m 55s dependabot/github_actions/ncipollo/release-action-1.15.0
dependabot/github_actions/ncipollo/release-action-1.15.0
January 13, 2025 16:35 59m 55s
Automatic toolchain upgrade to nightly-2025-01-09 Kani CI #9466: Pull request #3825 reopened by carolynzech
January 13, 2025 14:23 56m 34s toolchain-2025-01-09
toolchain-2025-01-09
January 13, 2025 14:23 56m 34s
Automatic cargo update to 2025-01-13 (#3824) Kani CI #9465: Commit d56fd1d pushed by github-merge-queue bot
January 13, 2025 06:10 54m 33s main
main
January 13, 2025 06:10 54m 33s
Automatic toolchain upgrade to nightly-2025-01-08 (#3821) Kani CI #9464: Commit d52203d pushed by github-merge-queue bot
January 13, 2025 05:01 55m 8s main
main
January 13, 2025 05:01 55m 8s
Automatic cargo update to 2025-01-13 (#3824) Kani CI #9463: Commit d56fd1d pushed by github-merge-queue bot
January 13, 2025 04:54 1h 14m 58s gh-readonly-queue/main/pr-3824-d52203dc884e0eb51b70259c22c2fae95e5c61c1
gh-readonly-queue/main/pr-3824-d52203dc884e0eb51b70259c22c2fae95e5c61c1
January 13, 2025 04:54 1h 14m 58s
Kani CI Kani CI #9462: Merge group checks requested
January 13, 2025 04:54 55m 56s
January 13, 2025 04:54 55m 56s
Automatic toolchain upgrade to nightly-2025-01-08 (#3821) Kani CI #9461: Commit d52203d pushed by github-merge-queue bot
January 13, 2025 04:04 55m 58s gh-readonly-queue/main/pr-3821-37321b1cf8ac1708a418f99fdc52b9a5f80bc98e
gh-readonly-queue/main/pr-3821-37321b1cf8ac1708a418f99fdc52b9a5f80bc98e
January 13, 2025 04:04 55m 58s
Kani CI Kani CI #9460: Merge group checks requested
January 13, 2025 04:04 56m 33s
January 13, 2025 04:04 56m 33s
Automatic cargo update to 2025-01-13 Kani CI #9459: Pull request #3824 reopened by qinheping
January 13, 2025 04:03 50m 38s cargo-update-2025-01-13
cargo-update-2025-01-13
January 13, 2025 04:03 50m 38s
Bump Kani version to 0.58.0 (#3822) Kani CI #9458: Commit 37321b1 pushed by github-merge-queue bot
January 11, 2025 02:30 52m 35s main
main
January 11, 2025 02:30 52m 35s
Bump Kani version to 0.58.0 (#3822) Kani CI #9457: Commit 37321b1 pushed by github-merge-queue bot
January 11, 2025 01:24 1h 5m 43s gh-readonly-queue/main/pr-3822-f1b0877458f7d1edcb37e1ab755ccd4c7aa50c31
gh-readonly-queue/main/pr-3822-f1b0877458f7d1edcb37e1ab755ccd4c7aa50c31
January 11, 2025 01:24 1h 5m 43s
Kani CI Kani CI #9456: Merge group checks requested
January 11, 2025 01:24 57m 0s
January 11, 2025 01:24 57m 0s
Update Charon submodule Kani CI #9455: Pull request #3823 synchronize by thanhnguyen-aws
January 11, 2025 00:36 45m 53s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 11, 2025 00:36 45m 53s
Update Charon submodule Kani CI #9454: Pull request #3823 synchronize by thanhnguyen-aws
January 11, 2025 00:34 46m 11s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 11, 2025 00:34 46m 11s
Update Charon submodule Kani CI #9453: Pull request #3823 opened by thanhnguyen-aws
January 11, 2025 00:25 1h 1m 30s thanhnguyen-aws:update-charon
thanhnguyen-aws:update-charon
January 11, 2025 00:25 1h 1m 30s
Update LLBC backend for Trait support and translation of projection (… Kani CI #9452: Commit f1b0877 pushed by github-merge-queue bot
January 10, 2025 22:34 47m 55s main
main
January 10, 2025 22:34 47m 55s
Bump Kani version to 0.58.0 Kani CI #9451: Pull request #3822 synchronize by qinheping
January 10, 2025 22:17 1h 6m 14s qinheping:release-kani-0.58.0
qinheping:release-kani-0.58.0
January 10, 2025 22:17 1h 6m 14s
Bump Kani version to 0.58.0 Kani CI #9450: Pull request #3822 synchronize by qinheping
January 10, 2025 22:17 1h 5m 55s qinheping:release-kani-0.58.0
qinheping:release-kani-0.58.0
January 10, 2025 22:17 1h 5m 55s
Bump Kani version to 0.58.0 Kani CI #9449: Pull request #3822 synchronize by qinheping
January 10, 2025 21:45 1h 0m 24s qinheping:release-kani-0.58.0
qinheping:release-kani-0.58.0
January 10, 2025 21:45 1h 0m 24s
Kani CI Kani CI #9448: Merge group checks requested
January 10, 2025 21:37 56m 5s
January 10, 2025 21:37 56m 5s
Update LLBC backend for Trait support and translation of projection (… Kani CI #9447: Commit f1b0877 pushed by github-merge-queue bot
January 10, 2025 21:37 51m 39s gh-readonly-queue/main/pr-3807-ce67fdf1a2cba204d130edad2e4c03d0749d280e
gh-readonly-queue/main/pr-3807-ce67fdf1a2cba204d130edad2e4c03d0749d280e
January 10, 2025 21:37 51m 39s
Bump Kani version to 0.58.0 Kani CI #9446: Pull request #3822 synchronize by qinheping
January 10, 2025 20:00 1h 5m 9s qinheping:release-kani-0.58.0
qinheping:release-kani-0.58.0
January 10, 2025 20:00 1h 5m 9s
Bump Kani version to 0.58.0 Kani CI #9445: Pull request #3822 opened by qinheping
January 10, 2025 19:57 48m 58s qinheping:release-kani-0.58.0
qinheping:release-kani-0.58.0
January 10, 2025 19:57 48m 58s
Include manifest-path when checking if packages are in the workspace … Kani CI #9444: Commit ce67fdf pushed by github-merge-queue bot
January 10, 2025 19:43 51m 34s main
main
January 10, 2025 19:43 51m 34s
Automatic toolchain upgrade to nightly-2025-01-08 Kani CI #9443: Pull request #3821 reopened by carolynzech
January 10, 2025 19:41 1h 3m 46s toolchain-2025-01-08
toolchain-2025-01-08
January 10, 2025 19:41 1h 3m 46s