Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
4,151 workflow runs
4,151 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the bug: Static union values can panic Kani Kani CI #10654: Pull request #4112 synchronize by thanhnguyen-aws
May 30, 2025 21:39 40m 25s thanhnguyen-aws:fixunion
thanhnguyen-aws:fixunion
May 30, 2025 21:39 40m 25s
Fix the bug: Static union values can panic Kani Kani CI #10653: Pull request #4112 synchronize by thanhnguyen-aws
May 30, 2025 17:56 46m 33s thanhnguyen-aws:fixunion
thanhnguyen-aws:fixunion
May 30, 2025 17:56 46m 33s
Fix the bug: Static union values can panic Kani Kani CI #10652: Pull request #4112 synchronize by thanhnguyen-aws
May 30, 2025 17:54 40m 51s thanhnguyen-aws:fixunion
thanhnguyen-aws:fixunion
May 30, 2025 17:54 40m 51s
Handle generic defaults in BoundedArbitrary derives (#4117) Kani CI #10651: Commit d57fbf4 pushed by github-merge-queue bot
May 30, 2025 17:42 43m 2s main
main
May 30, 2025 17:42 43m 2s
Handle generic defaults in BoundedArbitrary derives (#4117) Kani CI #10650: Commit d57fbf4 pushed by github-merge-queue bot
May 30, 2025 16:46 55m 12s gh-readonly-queue/main/pr-4117-d7a0b914f1e5b07ef9d5062563a7e00df02b82bb
gh-readonly-queue/main/pr-4117-d7a0b914f1e5b07ef9d5062563a7e00df02b82bb
May 30, 2025 16:46 55m 12s
Kani CI Kani CI #10649: Merge group checks requested
May 30, 2025 16:46 46m 1s
May 30, 2025 16:46 46m 1s
Automatic toolchain upgrade to nightly-2025-05-30 (#4118) Kani CI #10648: Commit d7a0b91 pushed by github-merge-queue bot
May 30, 2025 09:12 47m 6s main
main
May 30, 2025 09:12 47m 6s
Kani CI Kani CI #10647: Merge group checks requested
May 30, 2025 08:23 47m 18s
May 30, 2025 08:23 47m 18s
Automatic toolchain upgrade to nightly-2025-05-30 (#4118) Kani CI #10646: Commit d7a0b91 pushed by github-merge-queue bot
May 30, 2025 08:23 49m 3s gh-readonly-queue/main/pr-4118-a0f936434ca5f2d0e4e5b77e9cf09e456510e36a
gh-readonly-queue/main/pr-4118-a0f936434ca5f2d0e4e5b77e9cf09e456510e36a
May 30, 2025 08:23 49m 3s
Automatic toolchain upgrade to nightly-2025-05-30 Kani CI #10645: Pull request #4118 reopened by tautschnig
May 30, 2025 06:03 42m 8s toolchain-2025-05-30
toolchain-2025-05-30
May 30, 2025 06:03 42m 8s
Handle generic defaults in BoundedArbitrary derives Kani CI #10644: Pull request #4117 synchronize by zhassan-aws
May 29, 2025 23:54 37m 58s zhassan-aws:iss4116
zhassan-aws:iss4116
May 29, 2025 23:54 37m 58s
Handle generic defaults in BoundedArbitrary derives Kani CI #10643: Pull request #4117 opened by zhassan-aws
May 29, 2025 23:48 42m 30s zhassan-aws:iss4116
zhassan-aws:iss4116
May 29, 2025 23:48 42m 30s
Fix the bug: Static union values can panic Kani Kani CI #10642: Pull request #4112 synchronize by thanhnguyen-aws
May 29, 2025 21:47 41m 48s thanhnguyen-aws:fixunion
thanhnguyen-aws:fixunion
May 29, 2025 21:47 41m 48s
Fix the bug: Static union values can panic Kani Kani CI #10641: Pull request #4112 synchronize by thanhnguyen-aws
May 29, 2025 21:42 40m 4s thanhnguyen-aws:fixunion
thanhnguyen-aws:fixunion
May 29, 2025 21:42 40m 4s
Automatic toolchain upgrade to nightly-2025-05-29 (#4115) Kani CI #10640: Commit a0f9364 pushed by github-merge-queue bot
May 29, 2025 19:37 42m 35s main
main
May 29, 2025 19:37 42m 35s
Kani CI Kani CI #10639: Merge group checks requested
May 29, 2025 18:48 44m 23s
May 29, 2025 18:48 44m 23s
Automatic toolchain upgrade to nightly-2025-05-29 (#4115) Kani CI #10638: Commit a0f9364 pushed by github-merge-queue bot
May 29, 2025 18:48 48m 8s gh-readonly-queue/main/pr-4115-cdad3f956aa2108ad3c02c469a9312023eb1ecdc
gh-readonly-queue/main/pr-4115-cdad3f956aa2108ad3c02c469a9312023eb1ecdc
May 29, 2025 18:48 48m 8s
Automatic toolchain upgrade to nightly-2025-05-29 Kani CI #10637: Pull request #4115 reopened by zhassan-aws
May 29, 2025 06:37 1h 39m 59s toolchain-2025-05-29
toolchain-2025-05-29
May 29, 2025 06:37 1h 39m 59s
Fix the bug: Static union values can panic Kani Kani CI #10636: Pull request #4112 synchronize by thanhnguyen-aws
May 28, 2025 17:02 51m 30s thanhnguyen-aws:fixunion
thanhnguyen-aws:fixunion
May 28, 2025 17:02 51m 30s
Fix the bug: Static union values can panic Kani Kani CI #10635: Pull request #4112 synchronize by thanhnguyen-aws
May 28, 2025 17:02 44m 11s thanhnguyen-aws:fixunion
thanhnguyen-aws:fixunion
May 28, 2025 17:02 44m 11s
ty_mangled_name: only use non-mangled name if -Zcffi is enabled. Kani CI #10634: Pull request #4114 opened by carolynzech
May 28, 2025 16:48 55m 22s carolynzech:datadog
carolynzech:datadog
May 28, 2025 16:48 55m 22s
Start stabilizing --jobs and list; deprecate default memory checks Kani CI #10633: Pull request #4108 synchronize by carolynzech
May 28, 2025 16:46 1h 3m 35s carolynzech:deprecate
carolynzech:deprecate
May 28, 2025 16:46 1h 3m 35s
Automatic toolchain upgrade to nightly-2025-05-28 (#4113) Kani CI #10632: Commit cdad3f9 pushed by github-merge-queue bot
May 28, 2025 08:15 57m 45s main
main
May 28, 2025 08:15 57m 45s
Kani CI Kani CI #10631: Merge group checks requested
May 28, 2025 07:21 52m 51s
May 28, 2025 07:21 52m 51s
Automatic toolchain upgrade to nightly-2025-05-28 (#4113) Kani CI #10630: Commit cdad3f9 pushed by github-merge-queue bot
May 28, 2025 07:21 46m 40s gh-readonly-queue/main/pr-4113-ff15fed720ce294d26e4431cf35462bb582f4361
gh-readonly-queue/main/pr-4113-ff15fed720ce294d26e4431cf35462bb582f4361
May 28, 2025 07:21 46m 40s