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

List Subcommand (Implementation) Kani CI #8276: Pull request #3523 synchronize by carolynzech
September 17, 2024 20:59 34m 47s carolynzech:list-subcommand
carolynzech:list-subcommand
September 17, 2024 20:59 34m 47s
List Subcommand (Implementation) Kani CI #8275: Pull request #3523 synchronize by carolynzech
September 17, 2024 20:54 33m 55s carolynzech:list-subcommand
carolynzech:list-subcommand
September 17, 2024 20:54 33m 55s
List Subcommand (Implementation) Kani CI #8274: Pull request #3523 synchronize by carolynzech
September 17, 2024 20:53 30m 23s carolynzech:list-subcommand
carolynzech:list-subcommand
September 17, 2024 20:53 30m 23s
List Subcommand (Implementation) Kani CI #8273: Pull request #3523 opened by carolynzech
September 17, 2024 20:53 31m 36s carolynzech:list-subcommand
carolynzech:list-subcommand
September 17, 2024 20:53 31m 36s
Call check_proof_attribute for contract harnesses Kani CI #8272: Pull request #3522 opened by carolynzech
September 17, 2024 20:19 39m 26s carolynzech:contract-harness-errors
carolynzech:contract-harness-errors
September 17, 2024 20:19 39m 26s
Instrument validity checks for pointer to reference casts for slices and str's Kani CI #8271: Pull request #3513 synchronize by zhassan-aws
September 17, 2024 18:25 49m 52s zhassan-aws:iss-3498
zhassan-aws:iss-3498
September 17, 2024 18:25 49m 52s
Automatic toolchain upgrade to nightly-2024-09-11 (#3520) Kani CI #8270: Commit dba8f39 pushed by github-merge-queue bot
September 17, 2024 18:06 49m 32s main
main
September 17, 2024 18:06 49m 32s
Instrument validity checks for pointer to reference casts for slices and str's Kani CI #8269: Pull request #3513 synchronize by zhassan-aws
September 17, 2024 17:40 33m 56s zhassan-aws:iss-3498
zhassan-aws:iss-3498
September 17, 2024 17:40 33m 56s
Add an LLBC backend Kani CI #8268: Pull request #3514 synchronize by zhassan-aws
September 17, 2024 17:24 46m 6s zhassan-aws:llbc4
zhassan-aws:llbc4
September 17, 2024 17:24 46m 6s
Add an LLBC backend Kani CI #8267: Pull request #3514 synchronize by zhassan-aws
September 17, 2024 17:21 40m 49s zhassan-aws:llbc4
zhassan-aws:llbc4
September 17, 2024 17:21 40m 49s
Kani CI Kani CI #8266: Merge group checks requested
September 17, 2024 17:14 44m 51s
September 17, 2024 17:14 44m 51s
Automatic toolchain upgrade to nightly-2024-09-11 (#3520) Kani CI #8265: Commit dba8f39 pushed by github-merge-queue bot
September 17, 2024 17:14 51m 26s gh-readonly-queue/main/pr-3520-463f192db1b661b62230f7be42d8349756567220
gh-readonly-queue/main/pr-3520-463f192db1b661b62230f7be42d8349756567220
September 17, 2024 17:14 51m 26s
Automatic toolchain upgrade to nightly-2024-09-11 Kani CI #8264: Pull request #3520 reopened by feliperodri
September 17, 2024 15:23 42m 30s toolchain-2024-09-11
toolchain-2024-09-11
September 17, 2024 15:23 42m 30s
Automatic toolchain upgrade to nightly-2024-09-10 (#3519) Kani CI #8263: Commit 463f192 pushed by github-merge-queue bot
September 17, 2024 14:04 52m 43s main
main
September 17, 2024 14:04 52m 43s
Automatic toolchain upgrade to nightly-2024-09-10 (#3519) Kani CI #8262: Commit 463f192 pushed by github-merge-queue bot
September 17, 2024 13:08 55m 6s gh-readonly-queue/main/pr-3519-44b585e01c300c45acf102cfb2027ad855bb14e6
gh-readonly-queue/main/pr-3519-44b585e01c300c45acf102cfb2027ad855bb14e6
September 17, 2024 13:08 55m 6s
Kani CI Kani CI #8261: Merge group checks requested
September 17, 2024 13:08 52m 32s
September 17, 2024 13:08 52m 32s
Automatic toolchain upgrade to nightly-2024-09-10 Kani CI #8260: Pull request #3519 reopened by tautschnig
September 17, 2024 11:59 55m 31s toolchain-2024-09-10
toolchain-2024-09-10
September 17, 2024 11:59 55m 31s
Upgrade toolchain to 2024-09-09 (#3518) Kani CI #8259: Commit 44b585e pushed by github-merge-queue bot
September 17, 2024 08:04 46m 25s main
main
September 17, 2024 08:04 46m 25s
Upgrade toolchain to 2024-09-09 (#3518) Kani CI #8258: Commit 44b585e pushed by github-merge-queue bot
September 17, 2024 07:23 38m 8s gh-readonly-queue/main/pr-3518-d98ba4df57eb423b2073d1f34564724d4bcb9424
gh-readonly-queue/main/pr-3518-d98ba4df57eb423b2073d1f34564724d4bcb9424
September 17, 2024 07:23 38m 8s
Kani CI Kani CI #8257: Merge group checks requested
September 17, 2024 07:23 40m 58s
September 17, 2024 07:23 40m 58s
Upgrade toolchain to 2024-09-09 Kani CI #8256: Pull request #3518 synchronize by qinheping
September 17, 2024 02:41 50m 37s qinheping:toolchain
qinheping:toolchain
September 17, 2024 02:41 50m 37s
Upgrade toolchain to 2024-09-09 Kani CI #8255: Pull request #3518 opened by qinheping
September 17, 2024 01:49 32m 20s qinheping:toolchain
qinheping:toolchain
September 17, 2024 01:49 32m 20s
Instrument validity checks for pointer to reference casts for slices and str's Kani CI #8254: Pull request #3513 synchronize by celinval
September 17, 2024 01:17 43m 41s zhassan-aws:iss-3498
zhassan-aws:iss-3498
September 17, 2024 01:17 43m 41s
Add an LLBC backend Kani CI #8253: Pull request #3514 synchronize by zhassan-aws
September 17, 2024 00:29 43m 0s zhassan-aws:llbc4
zhassan-aws:llbc4
September 17, 2024 00:29 43m 0s
Instrument validity checks for pointer to reference casts for slices and str's Kani CI #8252: Pull request #3513 synchronize by celinval
September 16, 2024 23:55 38m 3s zhassan-aws:iss-3498
zhassan-aws:iss-3498
September 16, 2024 23:55 38m 3s