Skip to content

Actions: model-checking/kani

Actions

Kani Extra

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add reference for loop contracts Kani Extra #3016: Pull request #3849 synchronize by qinheping
January 28, 2025 20:51 13s
January 28, 2025 20:51 13s
Add reference for loop contracts Kani Extra #3015: Pull request #3849 synchronize by qinheping
January 28, 2025 20:24 18s
January 28, 2025 20:24 18s
Add reference for loop contracts Kani Extra #3014: Pull request #3849 synchronize by qinheping
January 28, 2025 20:22 18s
January 28, 2025 20:22 18s
Toolchain upgrade to nightly-2025-01-28 Kani Extra #3013: Pull request #3855 synchronize by feliperodri
January 28, 2025 19:27 1h 27m 1s
January 28, 2025 19:27 1h 27m 1s
Toolchain upgrade to nightly-2025-01-28 Kani Extra #3012: Pull request #3855 synchronize by feliperodri
January 28, 2025 17:35 1h 33m 1s
January 28, 2025 17:35 1h 33m 1s
Adjust PropertyClass of assertions to identify UB Kani Extra #3011: Pull request #3860 synchronize by tautschnig
January 28, 2025 15:54 1h 32m 14s
January 28, 2025 15:54 1h 32m 14s
Adjust PropertyClass of assertions to identify UB Kani Extra #3010: Pull request #3860 synchronize by tautschnig
January 28, 2025 14:54 1h 28m 49s
January 28, 2025 14:54 1h 28m 49s
Adjust PropertyClass of assertions to identify UB Kani Extra #3009: Pull request #3860 opened by tautschnig
January 28, 2025 14:36 1h 27m 24s
January 28, 2025 14:36 1h 27m 24s
Kani Extra Kani Extra #3008: Merge group checks requested
January 28, 2025 01:58 15s
January 28, 2025 01:58 15s
Kani Extra Kani Extra #3007: Merge group checks requested
January 28, 2025 01:53 14s
January 28, 2025 01:53 14s
Deprecate --enable-unstable and --restrict-vtable Kani Extra #3006: Pull request #3859 opened by celinval
January 27, 2025 23:38 1h 26m 17s
January 27, 2025 23:38 1h 26m 17s
Stub linker to avoid missing symbols errors Kani Extra #3005: Pull request #3858 opened by celinval
January 27, 2025 23:20 14s
January 27, 2025 23:20 14s
Toolchain upgrade to nightly-2025-01-28 Kani Extra #3004: Pull request #3855 synchronize by feliperodri
January 27, 2025 20:00 1h 28m 47s
January 27, 2025 20:00 1h 28m 47s
Kani Extra Kani Extra #3003: Merge group checks requested
January 27, 2025 19:10 19s
January 27, 2025 19:10 19s
Automatic cargo update to 2025-01-27 Kani Extra #3002: Pull request #3856 reopened by zhassan-aws
January 27, 2025 18:12 1h 28m 11s
January 27, 2025 18:12 1h 28m 11s
Kani Extra Kani Extra #3001: Merge group checks requested
January 27, 2025 18:09 11s
January 27, 2025 18:09 11s
Toolchain upgrade to nightly-2025-01-28 Kani Extra #3000: Pull request #3855 synchronize by feliperodri
January 27, 2025 17:41 1h 36m 50s
January 27, 2025 17:41 1h 36m 50s
Bump tests/perf/s2n-quic from f0649f9 to 4500593 Kani Extra #2999: Pull request #3857 opened by dependabot bot
January 27, 2025 16:58 22s
January 27, 2025 16:58 22s
Toolchain upgrade to nightly-2025-01-28 Kani Extra #2998: Pull request #3855 opened by feliperodri
January 26, 2025 21:56 1h 33m 32s
January 26, 2025 21:56 1h 33m 32s
Kani Extra Kani Extra #2997: Merge group checks requested
January 25, 2025 06:23 13s
January 25, 2025 06:23 13s
Fix validity checks for char Kani Extra #2996: Pull request #3853 opened by celinval
January 24, 2025 23:22 1h 25m 55s
January 24, 2025 23:22 1h 25m 55s
Kani Extra Kani Extra #2995: Merge group checks requested
January 24, 2025 18:21 14s
January 24, 2025 18:21 14s
Remove the openssl-devel package from dependencies Kani Extra #2994: Pull request #3852 opened by zhassan-aws
January 24, 2025 17:13 13s
January 24, 2025 17:13 13s