Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade toolchain to 2024-09-14 (#3529) Kani CI #8322: Commit d05d604 pushed by github-merge-queue bot
September 21, 2024 08:56 37m 7s main
main
September 21, 2024 08:56 37m 7s
Upgrade toolchain to 2024-09-14 (#3529) Kani CI #8321: Commit d05d604 pushed by github-merge-queue bot
September 21, 2024 08:10 45m 20s gh-readonly-queue/main/pr-3529-f1221b1b25e9e2896a9dfef48768cabc677b0ef6
gh-readonly-queue/main/pr-3529-f1221b1b25e9e2896a9dfef48768cabc677b0ef6
September 21, 2024 08:10 45m 20s
Kani CI Kani CI #8320: Merge group checks requested
September 21, 2024 08:10 43m 7s
September 21, 2024 08:10 43m 7s
Upgrade toolchain to 2024-09-14 Kani CI #8319: Pull request #3529 synchronize by qinheping
September 21, 2024 06:30 44m 18s qinheping:toolchain
qinheping:toolchain
September 21, 2024 06:30 44m 18s
Upgrade toolchain to 2024-09-14 Kani CI #8318: Pull request #3529 opened by qinheping
September 21, 2024 06:28 46m 19s qinheping:toolchain
qinheping:toolchain
September 21, 2024 06:28 46m 19s
List Subcommand (Implementation) Kani CI #8317: Pull request #3523 synchronize by carolynzech
September 20, 2024 23:29 32m 55s carolynzech:list-subcommand
carolynzech:list-subcommand
September 20, 2024 23:29 32m 55s
Add an LLBC backend Kani CI #8316: Pull request #3514 synchronize by zhassan-aws
September 20, 2024 23:28 43m 15s zhassan-aws:llbc4
zhassan-aws:llbc4
September 20, 2024 23:28 43m 15s
Add an LLBC backend Kani CI #8315: Pull request #3514 synchronize by zhassan-aws
September 20, 2024 23:21 47m 39s zhassan-aws:llbc4
zhassan-aws:llbc4
September 20, 2024 23:21 47m 39s
Append harness name to the graph file (debug feature only) Kani CI #8314: Pull request #3528 opened by celinval
September 20, 2024 22:25 44m 42s celinval:issue-xxxx-fix-dot
celinval:issue-xxxx-fix-dot
September 20, 2024 22:25 44m 42s
[Draft] kani-cov: A coverage tool for Kani Kani CI #8313: Pull request #3121 synchronize by adpaco-aws
September 20, 2024 21:52 33m 59s adpaco-aws:kanicov-tool
adpaco-aws:kanicov-tool
September 20, 2024 21:52 33m 59s
[Draft] kani-cov: A coverage tool for Kani Kani CI #8312: Pull request #3121 synchronize by adpaco-aws
September 20, 2024 21:32 33m 38s adpaco-aws:kanicov-tool
adpaco-aws:kanicov-tool
September 20, 2024 21:32 33m 38s
List Subcommand (Implementation) Kani CI #8311: Pull request #3523 synchronize by carolynzech
September 20, 2024 21:09 32m 58s carolynzech:list-subcommand
carolynzech:list-subcommand
September 20, 2024 21:09 32m 58s
[Draft] kani-cov: A coverage tool for Kani Kani CI #8310: Pull request #3121 synchronize by adpaco-aws
September 20, 2024 20:47 35m 25s adpaco-aws:kanicov-tool
adpaco-aws:kanicov-tool
September 20, 2024 20:47 35m 25s
[Draft] kani-cov: A coverage tool for Kani Kani CI #8309: Pull request #3121 synchronize by adpaco-aws
September 20, 2024 20:17 35m 27s adpaco-aws:kanicov-tool
adpaco-aws:kanicov-tool
September 20, 2024 20:17 35m 27s
Loop Contracts Annotation for While-Loop Kani CI #8308: Pull request #3151 synchronize by qinheping
September 20, 2024 17:12 57m 51s qinheping:features/loop-contracts-annotation
qinheping:features/loop-contracts-annotation
September 20, 2024 17:12 57m 51s
Fix storing coverage data in cargo projects (#3527) Kani CI #8307: Commit f1221b1 pushed by github-merge-queue bot
September 20, 2024 16:38 57m 10s main
main
September 20, 2024 16:38 57m 10s
Loop Contracts Annotation for While-Loop Kani CI #8306: Pull request #3151 synchronize by qinheping
September 20, 2024 16:33 34m 27s qinheping:features/loop-contracts-annotation
qinheping:features/loop-contracts-annotation
September 20, 2024 16:33 34m 27s
Kani CI Kani CI #8305: Merge group checks requested
September 20, 2024 15:40 53m 18s
September 20, 2024 15:40 53m 18s
Fix storing coverage data in cargo projects (#3527) Kani CI #8304: Commit f1221b1 pushed by github-merge-queue bot
September 20, 2024 15:40 57m 45s gh-readonly-queue/main/pr-3527-27cee8b71d8e82d86e04d315534d1677d2744716
gh-readonly-queue/main/pr-3527-27cee8b71d8e82d86e04d315534d1677d2744716
September 20, 2024 15:40 57m 45s
[Draft] kani-cov: A coverage tool for Kani Kani CI #8303: Pull request #3121 synchronize by adpaco-aws
September 20, 2024 15:29 35m 11s adpaco-aws:kanicov-tool
adpaco-aws:kanicov-tool
September 20, 2024 15:29 35m 11s
[Draft] kani-cov: A coverage tool for Kani Kani CI #8302: Pull request #3121 synchronize by adpaco-aws
September 20, 2024 15:19 36m 12s adpaco-aws:kanicov-tool
adpaco-aws:kanicov-tool
September 20, 2024 15:19 36m 12s
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