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 #3041: Merge group checks requested
February 3, 2025 19:24 16s
February 3, 2025 19:24 16s
Kani Extra Kani Extra #3040: Merge group checks requested
February 3, 2025 18:00 17s
February 3, 2025 18:00 17s
Automatic cargo update to 2025-02-03 Kani Extra #3039: Pull request #3869 reopened by zhassan-aws
February 3, 2025 17:21 1h 28m 5s
February 3, 2025 17:21 1h 28m 5s
Bump tests/perf/s2n-quic from 4500593 to 82dd0b5 Kani Extra #3038: Pull request #3872 opened by dependabot bot
February 3, 2025 16:59 16s
February 3, 2025 16:59 16s
Add support for quantifiers Kani Extra #3037: Pull request #3737 synchronize by feliperodri
February 2, 2025 18:56 1h 26m 24s
February 2, 2025 18:56 1h 26m 24s
Kani Extra Kani Extra #3036: Merge group checks requested
January 31, 2025 22:00 17s
January 31, 2025 22:00 17s
Update the rustc hack for CLion / RustRover Kani Extra #3035: Pull request #3868 opened by celinval
January 31, 2025 20:46 16s
January 31, 2025 20:46 16s
Analyze unsafe code reachability Kani Extra #3034: Pull request #3546 synchronize by celinval
January 31, 2025 20:43 1h 25m 51s
January 31, 2025 20:43 1h 25m 51s
Kani Extra Kani Extra #3033: Merge group checks requested
January 30, 2025 10:32 17s
January 30, 2025 10:32 17s
Remove symtab2gb from bundle Kani Extra #3032: Pull request #3865 synchronize by zhassan-aws
January 30, 2025 06:45 12s
January 30, 2025 06:45 12s
Remove symtab2gb from bundle Kani Extra #3031: Pull request #3865 opened by zhassan-aws
January 30, 2025 06:43 14s
January 30, 2025 06:43 14s
Kani Extra Kani Extra #3030: Merge group checks requested
January 29, 2025 19:02 18s
January 29, 2025 19:02 18s
Fix transmute codegen when sizes are different Kani Extra #3029: Pull request #3861 synchronize by celinval
January 29, 2025 18:11 1h 31m 39s
January 29, 2025 18:11 1h 31m 39s
Add reference for loop contracts Kani Extra #3028: Pull request #3849 synchronize by qinheping
January 29, 2025 16:19 12s
January 29, 2025 16:19 12s
Add reference for loop contracts Kani Extra #3027: Pull request #3849 synchronize by qinheping
January 29, 2025 16:19 14s
January 29, 2025 16:19 14s
Kani Extra Kani Extra #3026: Merge group checks requested
January 29, 2025 08:24 15s
January 29, 2025 08:24 15s
RFC for Rust UB checks Kani Extra #3025: Pull request #3092 synchronize by celinval
January 29, 2025 00:26 11s
January 29, 2025 00:26 11s
Fix missing function declaration issue Kani Extra #3024: Pull request #3862 opened by celinval
January 29, 2025 00:22 1h 28m 47s
January 29, 2025 00:22 1h 28m 47s
Fix transmute codegen when sizes are different Kani Extra #3023: Pull request #3861 opened by celinval
January 28, 2025 23:44 1h 33m 30s
January 28, 2025 23:44 1h 33m 30s
Kani Extra Kani Extra #3022: Merge group checks requested
January 28, 2025 22:59 15s
January 28, 2025 22:59 15s
Kani Extra Kani Extra #3021: Merge group checks requested
January 28, 2025 22:33 13s
January 28, 2025 22:33 13s
Kani Extra Kani Extra #3020: Merge group checks requested
January 28, 2025 21:42 18s
January 28, 2025 21:42 18s
Move documentation of kani_core modules to right places Kani Extra #3019: Pull request #3851 synchronize by qinheping
January 28, 2025 21:39 1h 28m 46s
January 28, 2025 21:39 1h 28m 46s
Allow multiple annotations, but check for duplicate targets. Kani Extra #3018: Pull request #3808 synchronize by celinval
January 28, 2025 21:35 1h 21m 9s
January 28, 2025 21:35 1h 21m 9s
Move documentation of kani_core modules to right places Kani Extra #3017: Pull request #3851 synchronize by qinheping
January 28, 2025 21:14 1h 35m 20s
January 28, 2025 21:14 1h 35m 20s