Skip to content

Actions: model-checking/kani

Actions

Kani Extra

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
extra_jobs.yml
1,099 workflow run results
1,099 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Function Contracts: Modify Slices Kani Extra #1316: Pull request #3295 synchronize by pi314mm
July 9, 2024 17:29 1h 1m 35s
July 9, 2024 17:29 1h 1m 35s
Function Contracts: Modify Slices Kani Extra #1315: Pull request #3295 synchronize by pi314mm
July 9, 2024 17:29 58m 34s
July 9, 2024 17:29 58m 34s
Unify kani library and kani core logic Kani Extra #1314: Pull request #3333 synchronize by jaisnan
July 9, 2024 16:32 1h 3m 49s
July 9, 2024 16:32 1h 3m 49s
Unify kani library and kani core logic Kani Extra #1313: Pull request #3333 opened by jaisnan
July 9, 2024 16:31 59m 13s
July 9, 2024 16:31 59m 13s
Automatic cargo update to 2024-07-08 Kani Extra #1312: Pull request #3329 synchronize by zhassan-aws
July 9, 2024 15:53 1h 0m 21s
July 9, 2024 15:53 1h 0m 21s
Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked Kani Extra #1311: Pull request #3332 synchronize by artemagvanian
July 9, 2024 15:13 1h 1m 53s
July 9, 2024 15:13 1h 1m 53s
Bump tests/perf/s2n-quic from 37335c1 to cd20ac1 Kani Extra #1310: Pull request #3330 synchronize by tautschnig
July 9, 2024 12:48 15s
July 9, 2024 12:48 15s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Kani Extra #1309: Pull request #3283 synchronize by adpaco-aws
July 8, 2024 22:05 1h 2m 29s
July 8, 2024 22:05 1h 2m 29s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Kani Extra #1308: Pull request #3283 synchronize by adpaco-aws
July 8, 2024 22:05 53m 41s
July 8, 2024 22:05 53m 41s
Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked Kani Extra #1307: Pull request #3332 synchronize by artemagvanian
July 8, 2024 21:43 59m 7s
July 8, 2024 21:43 59m 7s
Improve performance and language support of memory initialization checks Kani Extra #1306: Pull request #3313 synchronize by artemagvanian
July 8, 2024 21:43 56m 15s
July 8, 2024 21:43 56m 15s
Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked Kani Extra #1305: Pull request #3332 synchronize by artemagvanian
July 8, 2024 21:43 59m 56s
July 8, 2024 21:43 59m 56s
Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked Kani Extra #1304: Pull request #3332 synchronize by artemagvanian
July 8, 2024 21:39 59m 50s
July 8, 2024 21:39 59m 50s
Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked Kani Extra #1303: Pull request #3332 synchronize by artemagvanian
July 8, 2024 21:37 1h 0m 0s
July 8, 2024 21:37 1h 0m 0s
Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked Kani Extra #1302: Pull request #3332 synchronize by artemagvanian
July 8, 2024 21:36 1h 2m 51s
July 8, 2024 21:36 1h 2m 51s
Improve performance and language support of memory initialization checks Kani Extra #1301: Pull request #3313 synchronize by artemagvanian
July 8, 2024 21:35 54m 39s
July 8, 2024 21:35 54m 39s
Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked Kani Extra #1300: Pull request #3332 synchronize by artemagvanian
July 8, 2024 21:35 56m 52s
July 8, 2024 21:35 56m 52s
Make Kani reject mutable pointer casts if padding is incompatible and memory initialization is checked Kani Extra #1299: Pull request #3332 opened by artemagvanian
July 8, 2024 21:34 59m 36s
July 8, 2024 21:34 59m 36s
Function Contracts: Modify Slices Kani Extra #1298: Pull request #3295 synchronize by pi314mm
July 8, 2024 21:07 1h 0m 24s
July 8, 2024 21:07 1h 0m 24s
Auto-upload macOS ARM binaries to draft release Kani Extra #1297: Pull request #3320 synchronize by adpaco-aws
July 8, 2024 21:03 13s
July 8, 2024 21:03 13s
CI: Allow use of node16 for release jobs Kani Extra #1296: Pull request #3322 synchronize by adpaco-aws
July 8, 2024 20:27 17s
July 8, 2024 20:27 17s
Improve performance and language support of memory initialization checks Kani Extra #1295: Pull request #3313 synchronize by artemagvanian
July 8, 2024 19:58 1h 1m 36s
July 8, 2024 19:58 1h 1m 36s
CI: Allow use of node16 for release jobs Kani Extra #1294: Pull request #3322 synchronize by adpaco-aws
July 8, 2024 19:28 16s
July 8, 2024 19:28 16s
CI: Allow use of node16 for release jobs Kani Extra #1293: Pull request #3322 synchronize by adpaco-aws
July 8, 2024 19:20 12s
July 8, 2024 19:20 12s
Function Contracts: Modify Slices Kani Extra #1292: Pull request #3295 synchronize by pi314mm
July 8, 2024 19:15 1h 4m 34s
July 8, 2024 19:15 1h 4m 34s