Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22,642 workflow runs
22,642 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automatic upgrade of CBMC from 6.4.0 to 6.4.1 Release Bundle #3296: Pull request #3748 reopened by tautschnig
November 29, 2024 10:08 13m 53s cbmc-6.4.1
cbmc-6.4.1
November 29, 2024 10:08 13m 53s
Attempt CBMC update Attempt CBMC update #54: Manually run by tautschnig
November 29, 2024 09:31 30m 58s main
main
November 29, 2024 09:31 30m 58s
Nightly: CBMC Latest Nightly: CBMC Latest #698: Scheduled
November 29, 2024 09:01 1h 15m 10s main
main
November 29, 2024 09:01 1h 15m 10s
Nightly: Slow tests Nightly: Slow tests #809: Scheduled
November 29, 2024 05:36 6m 35s main
main
November 29, 2024 05:36 6m 35s
Update "features/verify-rust-std" Update "features/verify-rust-std" #126: Scheduled
November 29, 2024 03:41 4m 34s main
main
November 29, 2024 03:41 4m 34s
Attempt toolchain update Attempt toolchain update #714: Scheduled
November 29, 2024 02:51 19m 0s main
main
November 29, 2024 02:51 19m 0s
pages build and deployment pages-build-deployment #1569: by github-pages bot
November 28, 2024 17:48 24s
November 28, 2024 17:48 24s
Update toolchain to nightly-2024-11-26 (#3740) Release Bundle #3295: Commit 4f5e53e pushed by github-merge-queue bot
November 28, 2024 17:46 9m 47s main
main
November 28, 2024 17:46 9m 47s
Update toolchain to nightly-2024-11-26 (#3740) Kani CI #9199: Commit 4f5e53e pushed by github-merge-queue bot
November 28, 2024 17:46 48m 39s main
main
November 28, 2024 17:46 48m 39s
Update toolchain to nightly-2024-11-26 (#3740) Kani Format Check #9031: Commit 4f5e53e pushed by github-merge-queue bot
November 28, 2024 17:46 3m 34s main
main
November 28, 2024 17:46 3m 34s
Update toolchain to nightly-2024-11-26 (#3740) Cargo Deny #1226: Commit 4f5e53e pushed by github-merge-queue bot
November 28, 2024 17:46 1m 7s main
main
November 28, 2024 17:46 1m 7s
Update toolchain to nightly-2024-11-26 (#3740) Kani Performance Benchmarks #742: Commit 4f5e53e pushed by github-merge-queue bot
November 28, 2024 17:46 1h 4m 4s main
main
November 28, 2024 17:46 1h 4m 4s
Kani Format Check Kani Format Check #9030: Merge group checks requested
November 28, 2024 16:52 3m 48s
November 28, 2024 16:52 3m 48s
Cargo Deny Cargo Deny #1225: Merge group checks requested
November 28, 2024 16:52 1m 43s
November 28, 2024 16:52 1m 43s
Kani Extra Kani Extra #2758: Merge group checks requested
November 28, 2024 16:52 14s
November 28, 2024 16:52 14s
Update toolchain to nightly-2024-11-26 (#3740) Kani CI #9198: Commit 4f5e53e pushed by github-merge-queue bot
November 28, 2024 16:52 53m 57s gh-readonly-queue/main/pr-3740-69b8b37a6f648f6d11ef5b42db8bc49858affc44
gh-readonly-queue/main/pr-3740-69b8b37a6f648f6d11ef5b42db8bc49858affc44
November 28, 2024 16:52 53m 57s
Kani CI Kani CI #9197: Merge group checks requested
November 28, 2024 16:52 43m 16s
November 28, 2024 16:52 43m 16s
Release Bundle Release Bundle #3294: Merge group checks requested
November 28, 2024 16:52 13m 24s
November 28, 2024 16:52 13m 24s
Update toolchain to nightly-2024-11-26 (#3740) Kani Format Check #9029: Commit 4f5e53e pushed by github-merge-queue bot
November 28, 2024 16:52 3m 49s gh-readonly-queue/main/pr-3740-69b8b37a6f648f6d11ef5b42db8bc49858affc44
gh-readonly-queue/main/pr-3740-69b8b37a6f648f6d11ef5b42db8bc49858affc44
November 28, 2024 16:52 3m 49s
Update toolchain to nightly-2024-11-26 (#3740) Cargo Deny #1224: Commit 4f5e53e pushed by github-merge-queue bot
November 28, 2024 16:52 1m 37s gh-readonly-queue/main/pr-3740-69b8b37a6f648f6d11ef5b42db8bc49858affc44
gh-readonly-queue/main/pr-3740-69b8b37a6f648f6d11ef5b42db8bc49858affc44
November 28, 2024 16:52 1m 37s
Nightly: CBMC Latest Nightly: CBMC Latest #697: Scheduled
November 28, 2024 09:01 1h 0m 48s main
main
November 28, 2024 09:01 1h 0m 48s
Nightly: Slow tests Nightly: Slow tests #808: Scheduled
November 28, 2024 05:36 7m 22s main
main
November 28, 2024 05:36 7m 22s
Update toolchain to nightly-2024-11-26 Check Std Verification #935: Pull request #3740 synchronize by zhassan-aws
November 28, 2024 04:36 6m 21s celinval:toolchain-2024-11-26
celinval:toolchain-2024-11-26
November 28, 2024 04:36 6m 21s
Update toolchain to nightly-2024-11-26 Kani Format Check #9028: Pull request #3740 synchronize by zhassan-aws
November 28, 2024 04:36 3m 41s celinval:toolchain-2024-11-26
celinval:toolchain-2024-11-26
November 28, 2024 04:36 3m 41s
Update toolchain to nightly-2024-11-26 Kani CI #9196: Pull request #3740 synchronize by zhassan-aws
November 28, 2024 04:36 46m 13s celinval:toolchain-2024-11-26
celinval:toolchain-2024-11-26
November 28, 2024 04:36 46m 13s