Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
4,050 workflow runs
4,050 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade toolchain to nightly-2024-11-11 Kani CI #9006: Pull request #3710 synchronize by qinheping
November 13, 2024 07:38 49m 7s qinheping:toolchain
qinheping:toolchain
November 13, 2024 07:38 49m 7s
Upgrade toolchain to nightly-2024-11-11 Kani CI #9005: Pull request #3710 synchronize by qinheping
November 12, 2024 22:06 30m 52s qinheping:toolchain
qinheping:toolchain
November 12, 2024 22:06 30m 52s
Upgrade toolchain to nightly-2024-11-11 Kani CI #9004: Pull request #3710 synchronize by qinheping
November 12, 2024 22:04 34m 45s qinheping:toolchain
qinheping:toolchain
November 12, 2024 22:04 34m 45s
Add support for f16 and f128 in float_to_int_unchecked intrinsic (#3701) Kani CI #9003: Commit 80d4451 pushed by github-merge-queue bot
November 12, 2024 21:53 1h 1m 20s main
main
November 12, 2024 21:53 1h 1m 20s
Fix issues with how we compute DST size Kani CI #9002: Pull request #3687 synchronize by celinval
November 12, 2024 21:14 11m 44s celinval:issue-3612-can-deref-2
celinval:issue-3612-can-deref-2
November 12, 2024 21:14 11m 44s
Fix issues with how we compute DST size Kani CI #9001: Pull request #3687 synchronize by celinval
November 12, 2024 21:03 8m 11s celinval:issue-3612-can-deref-2
celinval:issue-3612-can-deref-2
November 12, 2024 21:03 8m 11s
Kani CI Kani CI #9000: Merge group checks requested
November 12, 2024 20:52 1h 0m 32s
November 12, 2024 20:52 1h 0m 32s
Add support for f16 and f128 in float_to_int_unchecked intrinsic (#3701) Kani CI #8999: Commit 80d4451 pushed by github-merge-queue bot
November 12, 2024 20:52 44m 47s gh-readonly-queue/main/pr-3701-abd68b963c6e4a9508ce9f6950f3d26134631eba
gh-readonly-queue/main/pr-3701-abd68b963c6e4a9508ce9f6950f3d26134631eba
November 12, 2024 20:52 44m 47s
Upgrade toolchain to nightly-2024-11-11 Kani CI #8998: Pull request #3710 synchronize by qinheping
November 12, 2024 20:51 1h 1m 34s qinheping:toolchain
qinheping:toolchain
November 12, 2024 20:51 1h 1m 34s
Upgrade toolchain to nightly-2024-11-11 Kani CI #8997: Pull request #3710 synchronize by qinheping
November 12, 2024 20:51 58m 25s qinheping:toolchain
qinheping:toolchain
November 12, 2024 20:51 58m 25s
Upgrade toolchain to nightly-2024-11-11 Kani CI #8996: Pull request #3710 synchronize by qinheping
November 12, 2024 20:06 34m 47s qinheping:toolchain
qinheping:toolchain
November 12, 2024 20:06 34m 47s
Add support for f16 and f128 in float_to_int_unchecked intrinsic Kani CI #8995: Pull request #3701 synchronize by zhassan-aws
November 12, 2024 19:59 52m 10s zhassan-aws:float-to-int-f16-f128
zhassan-aws:float-to-int-f16-f128
November 12, 2024 19:59 52m 10s
Bump tests/perf/s2n-quic from 65d55a4 to cb41b35 (#3706) Kani CI #8994: Commit abd68b9 pushed by github-merge-queue bot
November 12, 2024 00:14 56m 40s main
main
November 12, 2024 00:14 56m 40s
Upgrade toolchain to nightly-2024-11-11 Kani CI #8993: Pull request #3710 opened by qinheping
November 11, 2024 23:54 35m 33s qinheping:toolchain
qinheping:toolchain
November 11, 2024 23:54 35m 33s
Bump tests/perf/s2n-quic from 65d55a4 to cb41b35 (#3706) Kani CI #8992: Commit abd68b9 pushed by github-merge-queue bot
November 11, 2024 23:13 58m 35s gh-readonly-queue/main/pr-3706-db886e62ac008c10e468709f854cb627edceaf7c
gh-readonly-queue/main/pr-3706-db886e62ac008c10e468709f854cb627edceaf7c
November 11, 2024 23:13 58m 35s
Kani CI Kani CI #8991: Merge group checks requested
November 11, 2024 23:13 1h 0m 5s
November 11, 2024 23:13 1h 0m 5s
Automatic toolchain upgrade to nightly-2024-11-09 (#3709) Kani CI #8990: Commit db886e6 pushed by github-merge-queue bot
November 11, 2024 23:05 59m 25s main
main
November 11, 2024 23:05 59m 25s
Fix codegen for rvalue aggregate raw pointer to an adt with slice tail Kani CI #8989: Pull request #3644 synchronize by carolynzech
November 11, 2024 22:17 50m 13s carolynzech:issue-3615
carolynzech:issue-3615
November 11, 2024 22:17 50m 13s
Kani CI Kani CI #8988: Merge group checks requested
November 11, 2024 22:09 54m 39s
November 11, 2024 22:09 54m 39s
Automatic toolchain upgrade to nightly-2024-11-09 (#3709) Kani CI #8987: Commit db886e6 pushed by github-merge-queue bot
November 11, 2024 22:09 55m 47s gh-readonly-queue/main/pr-3709-1dd497c16311e8ab95497f15e9e630a78b46e73f
gh-readonly-queue/main/pr-3709-1dd497c16311e8ab95497f15e9e630a78b46e73f
November 11, 2024 22:09 55m 47s
Automatic cargo update to 2024-11-11 (#3704) Kani CI #8986: Commit 1dd497c pushed by github-merge-queue bot
November 11, 2024 22:05 59m 54s main
main
November 11, 2024 22:05 59m 54s
Fix codegen for rvalue aggregate raw pointer to an adt with slice tail Kani CI #8985: Pull request #3644 synchronize by carolynzech
November 11, 2024 21:49 45m 34s carolynzech:issue-3615
carolynzech:issue-3615
November 11, 2024 21:49 45m 34s
Automatic cargo update to 2024-11-11 (#3704) Kani CI #8984: Commit 1dd497c pushed by github-merge-queue bot
November 11, 2024 21:11 46m 18s gh-readonly-queue/main/pr-3704-40246f55814e8a3cd010af2bd2d022ad3b1ee44f
gh-readonly-queue/main/pr-3704-40246f55814e8a3cd010af2bd2d022ad3b1ee44f
November 11, 2024 21:11 46m 18s
Kani CI Kani CI #8983: Merge group checks requested
November 11, 2024 21:11 47m 52s
November 11, 2024 21:11 47m 52s
Update verify-std-check workflow to enable loop contracts (#3705) Kani CI #8982: Commit 40246f5 pushed by github-merge-queue bot
November 11, 2024 21:10 42m 15s gh-readonly-queue/main/pr-3705-c776a54330d3bf96b646b34fc28f9464fa2c0aa5
gh-readonly-queue/main/pr-3705-c776a54330d3bf96b646b34fc28f9464fa2c0aa5
November 11, 2024 21:10 42m 15s