Skip to content

Actions: celinval/kani-dev

Actions

Kani Extra

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
extra_jobs.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test CI Kani Extra #11: Pull request #53 synchronize by celinval
July 25, 2024 21:07 1m 5s
July 25, 2024 21:07 1m 5s
Test CI Kani Extra #10: Pull request #53 opened by celinval
July 25, 2024 21:00 14s
July 25, 2024 21:00 14s
Dummy PR to check new workflow Kani Extra #9: Pull request #52 synchronize by celinval
July 25, 2024 20:36 13s
July 25, 2024 20:36 13s
Dummy PR to check new workflow Kani Extra #8: Pull request #52 opened by celinval
July 25, 2024 20:34 28s
July 25, 2024 20:34 28s
Dummy test for new workflow Kani Extra #7: Pull request #51 opened by celinval
July 25, 2024 20:13 22m 5s
July 25, 2024 20:13 22m 5s
Dummy test to measure performance of memory checks Kani Extra #6: Pull request #38 opened by celinval
May 22, 2024 20:58 51m 39s
May 22, 2024 20:58 51m 39s
Make __kani__workaround_core_assert public in lib.rs Kani Extra #5: Pull request #26 synchronize by qinheping
January 26, 2024 22:38 40m 47s
January 26, 2024 22:38 40m 47s
Make __kani__workaround_core_assert public in lib.rs Kani Extra #4: Pull request #26 opened by qinheping
January 26, 2024 06:53 40m 48s
January 26, 2024 06:53 40m 48s
Update toolchain to nightly-2023-11-21 Kani Extra #3: Pull request #22 synchronize by celinval
November 21, 2023 16:02 4m 59s
November 21, 2023 16:02 4m 59s
Update toolchain to nightly-2023-11-21 Kani Extra #2: Pull request #22 opened by celinval
November 21, 2023 15:51 4m 39s
November 21, 2023 15:51 4m 39s
Issue 2606 test Kani Extra #1: Pull request #19 opened by celinval
October 25, 2023 00:14 1h 30m 2s
October 25, 2023 00:14 1h 30m 2s