Skip to content

Actions: model-checking/kani

Actions

Kani Extra

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
extra_jobs.yml
2,844 workflow runs
2,844 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kani Extra Kani Extra #3116: Merge group checks requested
February 18, 2025 11:24 17s
February 18, 2025 11:24 17s
Adjust PropertyClass of assertions to identify UB Kani Extra #3115: Pull request #3860 synchronize by tautschnig
February 18, 2025 10:34 1h 31m 17s
February 18, 2025 10:34 1h 31m 17s
Adjust PropertyClass of assertions to identify UB Kani Extra #3114: Pull request #3860 synchronize by tautschnig
February 18, 2025 10:28 1h 31m 56s
February 18, 2025 10:28 1h 31m 56s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani Extra #3113: Pull request #3893 synchronize by tautschnig
February 18, 2025 10:24 13s
February 18, 2025 10:24 13s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani Extra #3112: Pull request #3893 synchronize by tautschnig
February 18, 2025 10:13 15s
February 18, 2025 10:13 15s
Fix: regression test from #3888 has version control change Kani Extra #3111: Pull request #3892 synchronize by carolynzech
February 17, 2025 19:38 12s
February 17, 2025 19:38 12s
Kani Extra Kani Extra #3110: Merge group checks requested
February 17, 2025 18:01 15s
February 17, 2025 18:01 15s
Bump tests/perf/s2n-quic from a5d8422 to 00e3371 Kani Extra #3109: Pull request #3894 opened by dependabot bot
February 17, 2025 16:55 14s
February 17, 2025 16:55 14s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani Extra #3108: Pull request #3893 opened by tautschnig
February 17, 2025 15:32 17s
February 17, 2025 15:32 17s
Fix: regression test from #3888 has version control change Kani Extra #3107: Pull request #3892 opened by carolynzech
February 17, 2025 15:11 19s
February 17, 2025 15:11 19s
Kani Extra Kani Extra #3106: Merge group checks requested
February 17, 2025 14:25 16s
February 17, 2025 14:25 16s
Automatic cargo update to 2025-02-17 Kani Extra #3105: Pull request #3889 reopened by tautschnig
February 17, 2025 13:21 1h 34m 3s
February 17, 2025 13:21 1h 34m 3s
Upgrade toolchain to 2025-02-11 Kani Extra #3104: Pull request #3887 synchronize by thanhnguyen-aws
February 14, 2025 21:24 1h 26m 37s
February 14, 2025 21:24 1h 26m 37s
Upgrade toolchain to 2025-02-11 Kani Extra #3103: Pull request #3887 synchronize by thanhnguyen-aws
February 14, 2025 20:47 1h 29m 31s
February 14, 2025 20:47 1h 29m 31s
Upgrade toolchain to 2025-02-11 Kani Extra #3102: Pull request #3887 synchronize by thanhnguyen-aws
February 14, 2025 18:16 1h 31m 55s
February 14, 2025 18:16 1h 31m 55s
Kani Extra Kani Extra #3101: Merge group checks requested
February 14, 2025 00:01 13s
February 14, 2025 00:01 13s
Upgrade toolchain to 2025-02-11 Kani Extra #3100: Pull request #3887 synchronize by thanhnguyen-aws
February 13, 2025 22:06 1h 26m 3s
February 13, 2025 22:06 1h 26m 3s
Support concrete playback for arrays of length 65 or greater Kani Extra #3099: Pull request #3888 synchronize by carolynzech
February 13, 2025 21:44 16s
February 13, 2025 21:44 16s
Upgrade toolchain to 2025-02-11 Kani Extra #3098: Pull request #3887 synchronize by thanhnguyen-aws
February 13, 2025 21:05 1h 30m 37s
February 13, 2025 21:05 1h 30m 37s
Upgrade toolchain to 2025-02-11 Kani Extra #3097: Pull request #3887 synchronize by thanhnguyen-aws
February 13, 2025 20:54 1h 33m 25s
February 13, 2025 20:54 1h 33m 25s
Upgrade toolchain to 2025-02-11 Kani Extra #3096: Pull request #3887 synchronize by thanhnguyen-aws
February 13, 2025 20:51 1h 35m 4s
February 13, 2025 20:51 1h 35m 4s
Support concrete playback for arrays of length 65 or greater Kani Extra #3095: Pull request #3888 synchronize by carolynzech
February 13, 2025 19:50 12s
February 13, 2025 19:50 12s
Support concrete playback for arrays of length 65 or greater Kani Extra #3094: Pull request #3888 synchronize by carolynzech
February 13, 2025 19:50 4m 12s
February 13, 2025 19:50 4m 12s
Support concrete playback for arrays of length 65 or greater Kani Extra #3093: Pull request #3888 reopened by carolynzech
February 13, 2025 19:45 12s
February 13, 2025 19:45 12s
Support concrete playback for arrays of length 65 or greater Kani Extra #3092: Pull request #3888 synchronize by carolynzech
February 13, 2025 19:33 15s
February 13, 2025 19:33 15s