Nothing Special   »   [go: up one dir, main page]
Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump tests/perf/s2n-quic from 0b3f892 to a54686e (#3793) Kani CI #9329: Commit f212ce5 pushed by github-merge-queue bot
December 23, 2024 18:56 52m 51s main
main
December 23, 2024 18:56 52m 51s
Kani CI Kani CI #9328: Merge group checks requested
December 23, 2024 18:00 55m 54s
December 23, 2024 18:00 55m 54s
Bump tests/perf/s2n-quic from 0b3f892 to a54686e (#3793) Kani CI #9327: Commit f212ce5 pushed by github-merge-queue bot
December 23, 2024 18:00 40m 50s gh-readonly-queue/main/pr-3793-4251ae843588b934e162692759de56abb4a4542e
gh-readonly-queue/main/pr-3793-4251ae843588b934e162692759de56abb4a4542e
December 23, 2024 18:00 40m 50s
Bump tests/perf/s2n-quic from 0b3f892 to a54686e Kani CI #9326: Pull request #3793 opened by dependabot bot
December 23, 2024 16:57 51m 17s dependabot/submodules/tests/perf/s2n-quic-a54686e
dependabot/submodules/tests/perf/s2n-quic-a54686e
December 23, 2024 16:57 51m 17s
Bump tests/perf/s2n-quic from 0b3f892 to a54686e Kani CI #9325: Commit 921042c pushed by dependabot bot
December 23, 2024 16:57 52m 21s dependabot/submodules/tests/perf/s2n-quic-a54686e
dependabot/submodules/tests/perf/s2n-quic-a54686e
December 23, 2024 16:57 52m 21s
Automatic cargo update to 2024-12-23 (#3792) Kani CI #9324: Commit 4251ae8 pushed by github-merge-queue bot
December 23, 2024 07:16 44m 13s main
main
December 23, 2024 07:16 44m 13s
Automatic cargo update to 2024-12-23 (#3792) Kani CI #9323: Commit 4251ae8 pushed by github-merge-queue bot
December 23, 2024 06:20 54m 58s gh-readonly-queue/main/pr-3792-7a08474d65cd6b6da8097ed23256a3a37757e20e
gh-readonly-queue/main/pr-3792-7a08474d65cd6b6da8097ed23256a3a37757e20e
December 23, 2024 06:20 54m 58s
Kani CI Kani CI #9322: Merge group checks requested
December 23, 2024 06:20 51m 40s
December 23, 2024 06:20 51m 40s
Automatic cargo update to 2024-12-23 Kani CI #9321: Pull request #3792 reopened by zhassan-aws
December 23, 2024 05:33 46m 44s cargo-update-2024-12-23
cargo-update-2024-12-23
December 23, 2024 05:33 46m 44s
Update kissat to v4.0.1 (#3791) Kani CI #9320: Commit 7a08474 pushed by github-merge-queue bot
December 20, 2024 10:16 1h 4m 35s main
main
December 20, 2024 10:16 1h 4m 35s
Update kissat to v4.0.1 (#3791) Kani CI #9319: Commit 7a08474 pushed by github-merge-queue bot
December 20, 2024 09:24 52m 21s gh-readonly-queue/main/pr-3791-b7ae080b4f591990362bc68694b287ef8ced09bc
gh-readonly-queue/main/pr-3791-b7ae080b4f591990362bc68694b287ef8ced09bc
December 20, 2024 09:24 52m 21s
Kani CI Kani CI #9318: Merge group checks requested
December 20, 2024 09:24 47m 30s
December 20, 2024 09:24 47m 30s
Update kissat to v4.0.1 (#3791) Kani CI #9317: Commit 0f6648c pushed by github-merge-queue bot
December 19, 2024 22:17 1h 9m 49s gh-readonly-queue/main/pr-3791-b7ae080b4f591990362bc68694b287ef8ced09bc
gh-readonly-queue/main/pr-3791-b7ae080b4f591990362bc68694b287ef8ced09bc
December 19, 2024 22:17 1h 9m 49s
Kani CI Kani CI #9316: Merge group checks requested
December 19, 2024 22:17 1h 17m 15s
December 19, 2024 22:17 1h 17m 15s
Update kissat to v4.0.1 Kani CI #9315: Pull request #3791 opened by remi-delmas-3000
December 19, 2024 21:21 55m 29s remi-delmas-3000:update-kissat-4.0.1
remi-delmas-3000:update-kissat-4.0.1
December 19, 2024 21:21 55m 29s
Improve --jobs UI (#3790) Kani CI #9314: Commit b7ae080 pushed by github-merge-queue bot
December 19, 2024 00:22 47m 59s main
main
December 19, 2024 00:22 47m 59s
Kani CI Kani CI #9313: Merge group checks requested
December 18, 2024 23:18 55m 11s
December 18, 2024 23:18 55m 11s
Improve --jobs UI (#3790) Kani CI #9312: Commit b7ae080 pushed by github-merge-queue bot
December 18, 2024 23:18 1h 3m 32s gh-readonly-queue/main/pr-3790-3f5f8e8c7ff2519d5cf9524a65e23739d209980e
gh-readonly-queue/main/pr-3790-3f5f8e8c7ff2519d5cf9524a65e23739d209980e
December 18, 2024 23:18 1h 3m 32s
Improve --jobs UI Kani CI #9311: Pull request #3790 synchronize by carolynzech
December 18, 2024 22:26 51m 56s carolynzech:threading-ui
carolynzech:threading-ui
December 18, 2024 22:26 51m 56s
Improve --jobs UI Kani CI #9310: Pull request #3790 opened by carolynzech
December 18, 2024 21:01 49m 29s carolynzech:threading-ui
carolynzech:threading-ui
December 18, 2024 21:01 49m 29s
Package Docker release step: ensure compiler is installed (#3789) Kani CI #9309: Commit 3f5f8e8 pushed by github-merge-queue bot
December 17, 2024 16:19 1h 20m 15s main
main
December 17, 2024 16:19 1h 20m 15s
Package Docker release step: ensure compiler is installed (#3789) Kani CI #9308: Commit 3f5f8e8 pushed by github-merge-queue bot
December 17, 2024 15:23 47m 52s gh-readonly-queue/main/pr-3789-9fd39c0023bc31956fe77db6c4ece7a5cc24e5a8
gh-readonly-queue/main/pr-3789-9fd39c0023bc31956fe77db6c4ece7a5cc24e5a8
December 17, 2024 15:23 47m 52s
Kani CI Kani CI #9307: Merge group checks requested
December 17, 2024 15:23 54m 50s
December 17, 2024 15:23 54m 50s
Package Docker release step: ensure compiler is installed Kani CI #9306: Pull request #3789 opened by tautschnig
December 17, 2024 14:10 1h 12m 43s tautschnig:fix-docker
tautschnig:fix-docker
December 17, 2024 14:10 1h 12m 43s
Fix toolchain version in 0.57.0 CHANGELOG (#3786) Kani CI #9305: Commit 9fd39c0 pushed by github-merge-queue bot
December 16, 2024 23:11 44m 52s main
main
December 16, 2024 23:11 44m 52s