Skip to content

Actions: model-checking/kani

Actions

Kani Extra

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Convert raw URL to link Kani Extra #3140: Pull request #3907 opened by flba-eb
February 26, 2025 14:37 18s
February 26, 2025 14:37 18s
Kani Extra Kani Extra #3139: Merge group checks requested
February 24, 2025 19:04 13s
February 24, 2025 19:04 13s
Kani Extra Kani Extra #3138: Merge group checks requested
February 24, 2025 18:50 21s
February 24, 2025 18:50 21s
Bump tests/perf/s2n-quic from 00e3371 to cfb314b Kani Extra #3137: Pull request #3903 opened by dependabot bot
February 24, 2025 17:48 16s
February 24, 2025 17:48 16s
Bump ncipollo/release-action from 1.15.0 to 1.16.0 Kani Extra #3136: Pull request #3902 opened by dependabot bot
February 24, 2025 17:33 16s
February 24, 2025 17:33 16s
Kani Extra Kani Extra #3135: Merge group checks requested
February 24, 2025 06:18 14s
February 24, 2025 06:18 14s
Automatic cargo update to 2025-02-24 Kani Extra #3134: Pull request #3901 reopened by zhassan-aws
February 24, 2025 04:29 1h 29m 2s
February 24, 2025 04:29 1h 29m 2s
Kani Extra Kani Extra #3133: Merge group checks requested
February 22, 2025 00:31 12s
February 22, 2025 00:31 12s
Upgrade the toolchain to 2025-02-21 Kani Extra #3132: Pull request #3899 synchronize by zhassan-aws
February 21, 2025 23:34 1h 31m 53s
February 21, 2025 23:34 1h 31m 53s
Upgrade the toolchain to 2025-02-21 Kani Extra #3131: Pull request #3899 opened by zhassan-aws
February 21, 2025 22:38 1h 29m 58s
February 21, 2025 22:38 1h 29m 58s
Kani Extra Kani Extra #3130: Merge group checks requested
February 21, 2025 22:24 13s
February 21, 2025 22:24 13s
Kani Extra Kani Extra #3129: Merge group checks requested
February 21, 2025 21:55 20s
February 21, 2025 21:55 20s
Automatic toolchain upgrade to nightly-2025-02-12 Kani Extra #3128: Pull request #3898 reopened by carolynzech
February 21, 2025 20:56 1h 31m 4s
February 21, 2025 20:56 1h 31m 4s
Remove isize overflow check for zst offsets Kani Extra #3127: Pull request #3897 synchronize by carolynzech
February 21, 2025 20:55 1h 28m 20s
February 21, 2025 20:55 1h 28m 20s
Remove isize overflow check for zst offsets Kani Extra #3126: Pull request #3897 opened by carolynzech
February 21, 2025 20:47 1h 37m 19s
February 21, 2025 20:47 1h 37m 19s
Kani Extra Kani Extra #3125: Merge group checks requested
February 21, 2025 19:02 13s
February 21, 2025 19:02 13s
Upgrade toolchain to 2025-02-11 Kani Extra #3124: Pull request #3887 synchronize by zhassan-aws
February 21, 2025 18:04 1h 30m 33s
February 21, 2025 18:04 1h 30m 33s
Upgrade toolchain to 2025-02-11 Kani Extra #3123: Pull request #3887 synchronize by zhassan-aws
February 21, 2025 18:03 1h 34m 30s
February 21, 2025 18:03 1h 34m 30s
Kani Extra Kani Extra #3122: Merge group checks requested
February 19, 2025 15:32 35s
February 19, 2025 15:32 35s
Fix: regression test from #3888 has version control change Kani Extra #3121: Pull request #3892 synchronize by carolynzech
February 18, 2025 16:46 13s
February 18, 2025 16:46 13s
Document demonic non-determinism Kani Extra #3120: Pull request #3895 synchronize by tautschnig
February 18, 2025 16:41 13s
February 18, 2025 16:41 13s
RFC: Attribute to distinguish safety preconditions from panic freedom Kani Extra #3119: Pull request #3893 synchronize by tautschnig
February 18, 2025 16:19 15s
February 18, 2025 16:19 15s
Fix: regression test from #3888 has version control change Kani Extra #3118: Pull request #3892 synchronize by carolynzech
February 18, 2025 15:09 15s
February 18, 2025 15:09 15s
Document demonic non-determinism Kani Extra #3117: Pull request #3895 opened by tautschnig
February 18, 2025 13:56 17s
February 18, 2025 13:56 17s
Kani Extra Kani Extra #3116: Merge group checks requested
February 18, 2025 11:24 17s
February 18, 2025 11:24 17s