Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
3,598 workflow runs
3,598 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Loop Contracts Annotation for While-Loop Kani CI #8301: Pull request #3151 synchronize by qinheping
September 20, 2024 15:14 57m 19s qinheping:features/loop-contracts-annotation
qinheping:features/loop-contracts-annotation
September 20, 2024 15:14 57m 19s
[Draft] kani-cov: A coverage tool for Kani Kani CI #8300: Pull request #3121 synchronize by adpaco-aws
September 20, 2024 15:09 36m 38s adpaco-aws:kanicov-tool
adpaco-aws:kanicov-tool
September 20, 2024 15:09 36m 38s
Fix storing coverage data in cargo projects Kani CI #8299: Pull request #3527 synchronize by adpaco-aws
September 20, 2024 14:44 46m 54s adpaco-aws:issue-cov-save-results
adpaco-aws:issue-cov-save-results
September 20, 2024 14:44 46m 54s
Fix storing coverage data in cargo projects Kani CI #8298: Pull request #3527 opened by adpaco-aws
September 20, 2024 14:35 35m 31s adpaco-aws:issue-cov-save-results
adpaco-aws:issue-cov-save-results
September 20, 2024 14:35 35m 31s
Add an LLBC backend Kani CI #8297: Pull request #3514 synchronize by zhassan-aws
September 19, 2024 18:22 34m 40s zhassan-aws:llbc4
zhassan-aws:llbc4
September 19, 2024 18:22 34m 40s
[Draft] kani-cov: A coverage tool for Kani Kani CI #8296: Pull request #3121 synchronize by adpaco-aws
September 19, 2024 17:55 37m 51s adpaco-aws:kanicov-tool
adpaco-aws:kanicov-tool
September 19, 2024 17:55 37m 51s
Add tests for issue 3009 (#3526) Kani CI #8295: Commit 27cee8b pushed by github-merge-queue bot
September 18, 2024 21:14 45m 36s main
main
September 18, 2024 21:14 45m 36s
Call check_proof_attribute for contract harnesses (#3522) Kani CI #8294: Commit dd26362 pushed by github-merge-queue bot
September 18, 2024 20:15 49m 34s main
main
September 18, 2024 20:15 49m 34s
Add tests for issue 3009 (#3526) Kani CI #8293: Commit 27cee8b pushed by github-merge-queue bot
September 18, 2024 20:11 1h 2m 43s gh-readonly-queue/main/pr-3526-dd26362479ca9f57445f66187ea33d6a70ced534
gh-readonly-queue/main/pr-3526-dd26362479ca9f57445f66187ea33d6a70ced534
September 18, 2024 20:11 1h 2m 43s
Kani CI Kani CI #8292: Merge group checks requested
September 18, 2024 20:11 57m 23s
September 18, 2024 20:11 57m 23s
Add tests for issue 3009 Kani CI #8291: Pull request #3526 opened by carolynzech
September 18, 2024 19:33 37m 59s carolynzech:issue-3009
carolynzech:issue-3009
September 18, 2024 19:33 37m 59s
Kani CI Kani CI #8290: Merge group checks requested
September 18, 2024 19:08 1h 2m 35s
September 18, 2024 19:08 1h 2m 35s
Call check_proof_attribute for contract harnesses (#3522) Kani CI #8289: Commit dd26362 pushed by github-merge-queue bot
September 18, 2024 19:08 1h 6m 2s gh-readonly-queue/main/pr-3522-d2051b77437a0032120f0513e0e9c3c4766d8562
gh-readonly-queue/main/pr-3522-d2051b77437a0032120f0513e0e9c3c4766d8562
September 18, 2024 19:08 1h 6m 2s
Call check_proof_attribute for contract harnesses Kani CI #8288: Pull request #3522 synchronize by carolynzech
September 18, 2024 18:00 56m 8s carolynzech:contract-harness-errors
carolynzech:contract-harness-errors
September 18, 2024 18:00 56m 8s
Add an LLBC backend Kani CI #8287: Pull request #3514 synchronize by zhassan-aws
September 18, 2024 17:27 51m 38s zhassan-aws:llbc4
zhassan-aws:llbc4
September 18, 2024 17:27 51m 38s
Upgrade toolchain to 2024-09-12 (#3524) Kani CI #8286: Commit d2051b7 pushed by github-merge-queue bot
September 18, 2024 08:36 51m 23s main
main
September 18, 2024 08:36 51m 23s
Kani CI Kani CI #8285: Merge group checks requested
September 18, 2024 07:54 40m 29s
September 18, 2024 07:54 40m 29s
Upgrade toolchain to 2024-09-12 (#3524) Kani CI #8284: Commit d2051b7 pushed by github-merge-queue bot
September 18, 2024 07:54 41m 21s gh-readonly-queue/main/pr-3524-f8889139005e9463b52d4979ae59f05e7f36aadf
gh-readonly-queue/main/pr-3524-f8889139005e9463b52d4979ae59f05e7f36aadf
September 18, 2024 07:54 41m 21s
Instrument validity checks for pointer to reference casts for slices … Kani CI #8283: Commit f888913 pushed by github-merge-queue bot
September 18, 2024 05:34 52m 19s main
main
September 18, 2024 05:34 52m 19s
Kani CI Kani CI #8282: Merge group checks requested
September 18, 2024 04:51 42m 46s
September 18, 2024 04:51 42m 46s
Instrument validity checks for pointer to reference casts for slices … Kani CI #8281: Commit f888913 pushed by github-merge-queue bot
September 18, 2024 04:51 38m 13s gh-readonly-queue/main/pr-3513-dba8f3926a61025f5078de787ebd8d21278333ca
gh-readonly-queue/main/pr-3513-dba8f3926a61025f5078de787ebd8d21278333ca
September 18, 2024 04:51 38m 13s
Upgrade toolchain to 2024-09-12 Kani CI #8280: Pull request #3524 synchronize by qinheping
September 18, 2024 04:49 46m 15s qinheping:toolchain
qinheping:toolchain
September 18, 2024 04:49 46m 15s
Upgrade toolchain to 2024-09-12 Kani CI #8279: Pull request #3524 opened by qinheping
September 18, 2024 01:06 34m 19s qinheping:toolchain
qinheping:toolchain
September 18, 2024 01:06 34m 19s
Instrument validity checks for pointer to reference casts for slices and str's Kani CI #8278: Pull request #3513 synchronize by zhassan-aws
September 17, 2024 22:09 49m 17s zhassan-aws:iss-3498
zhassan-aws:iss-3498
September 17, 2024 22:09 49m 17s
Instrument validity checks for pointer to reference casts for slices and str's Kani CI #8277: Pull request #3513 synchronize by zhassan-aws
September 17, 2024 22:09 51m 39s zhassan-aws:iss-3498
zhassan-aws:iss-3498
September 17, 2024 22:09 51m 39s