Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
12 workflow run results
12 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into no-toolchain-label Kani CI #169: Commit bdbfb27 pushed by celinval
September 26, 2023 01:13 49m 25s no-toolchain-label
no-toolchain-label
September 26, 2023 01:13 49m 25s
Merge branch 'main' into toolchain-2023-09-15-manual Kani CI #168: Commit 18a5dca pushed by zhassan-aws
September 15, 2023 16:45 43m 14s toolchain-2023-09-15-manual
toolchain-2023-09-15-manual
September 15, 2023 16:45 43m 14s
Merge branch 'main' into fix-kissat-check Kani CI #167: Commit aa1af2b pushed by tautschnig
September 15, 2023 09:09 39m 38s fix-kissat-check
fix-kissat-check
September 15, 2023 09:09 39m 38s
Merge branch 'main' into toolchain-2023-09-15-manual Kani CI #166: Commit 2430147 pushed by tautschnig
September 15, 2023 07:24 1h 13m 54s toolchain-2023-09-15-manual
toolchain-2023-09-15-manual
September 15, 2023 07:24 1h 13m 54s
Fix syntax errors in Kissat checking script Kani CI #165: Commit e010aa7 pushed by tautschnig
September 15, 2023 07:22 51m 48s fix-kissat-check
fix-kissat-check
September 15, 2023 07:22 51m 48s
Update Rust toolchain to 2023-09-15 Kani CI #164: Commit 1e25dae pushed by tautschnig
September 15, 2023 07:19 43m 11s toolchain-2023-09-15-manual
toolchain-2023-09-15-manual
September 15, 2023 07:19 43m 11s
Update Rust toolchain to 2023-09-15 Kani CI #163: Commit 0fd6873 pushed by tautschnig
September 15, 2023 07:19 46m 19s toolchain-2023-09-15-manual
toolchain-2023-09-15-manual
September 15, 2023 07:19 46m 19s
Do not label auto-generated toolchain PR Kani CI #162: Commit 007f266 pushed by tautschnig
September 9, 2023 12:08 41m 33s no-toolchain-label
no-toolchain-label
September 9, 2023 12:08 41m 33s
Toolchain upgrade workflow: fix de-duplicating issues Kani CI #161: Commit a1cd02d pushed by tautschnig
September 8, 2023 15:06 48m 54s dedup-toolchain-issue
dedup-toolchain-issue
September 8, 2023 15:06 48m 54s
Merge branch 'main' into toolchain-2023-09-07-manual Kani CI #160: Commit f5edcd3 pushed by tautschnig
September 8, 2023 12:07 44m 47s toolchain-2023-09-07-manual
toolchain-2023-09-07-manual
September 8, 2023 12:07 44m 47s
Upgrade rust toolchain to 2023-09-07 Kani CI #159: Commit ff5d36c pushed by tautschnig
September 7, 2023 13:47 44m 38s toolchain-2023-09-07-manual
toolchain-2023-09-07-manual
September 7, 2023 13:47 44m 38s
Unified handling for unstable command line flags across compiler and … Kani CI #158: Commit 9cd3de1 pushed by tautschnig
September 7, 2023 10:15 45m 1s main
main
September 7, 2023 10:15 45m 1s