Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
11 workflow run results
11 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into toolchain-2023-09-15-manual Kani Format Check #168: Commit 18a5dca pushed by zhassan-aws
September 15, 2023 16:45 5m 13s toolchain-2023-09-15-manual
toolchain-2023-09-15-manual
September 15, 2023 16:45 5m 13s
Merge branch 'main' into fix-kissat-check Kani Format Check #167: Commit aa1af2b pushed by tautschnig
September 15, 2023 09:09 4m 6s fix-kissat-check
fix-kissat-check
September 15, 2023 09:09 4m 6s
Merge branch 'main' into toolchain-2023-09-15-manual Kani Format Check #166: Commit 2430147 pushed by tautschnig
September 15, 2023 07:24 27m 21s toolchain-2023-09-15-manual
toolchain-2023-09-15-manual
September 15, 2023 07:24 27m 21s
Fix syntax errors in Kissat checking script Kani Format Check #165: Commit e010aa7 pushed by tautschnig
September 15, 2023 07:22 16m 19s fix-kissat-check
fix-kissat-check
September 15, 2023 07:22 16m 19s
Update Rust toolchain to 2023-09-15 Kani Format Check #164: Commit 1e25dae pushed by tautschnig
September 15, 2023 07:19 4m 19s toolchain-2023-09-15-manual
toolchain-2023-09-15-manual
September 15, 2023 07:19 4m 19s
Update Rust toolchain to 2023-09-15 Kani Format Check #163: Commit 0fd6873 pushed by tautschnig
September 15, 2023 07:19 4m 31s toolchain-2023-09-15-manual
toolchain-2023-09-15-manual
September 15, 2023 07:19 4m 31s
Do not label auto-generated toolchain PR Kani Format Check #162: Commit 007f266 pushed by tautschnig
September 9, 2023 12:08 4m 15s no-toolchain-label
no-toolchain-label
September 9, 2023 12:08 4m 15s
Toolchain upgrade workflow: fix de-duplicating issues Kani Format Check #161: Commit a1cd02d pushed by tautschnig
September 8, 2023 15:06 4m 31s dedup-toolchain-issue
dedup-toolchain-issue
September 8, 2023 15:06 4m 31s
Merge branch 'main' into toolchain-2023-09-07-manual Kani Format Check #160: Commit f5edcd3 pushed by tautschnig
September 8, 2023 12:07 3m 44s toolchain-2023-09-07-manual
toolchain-2023-09-07-manual
September 8, 2023 12:07 3m 44s
Upgrade rust toolchain to 2023-09-07 Kani Format Check #159: Commit ff5d36c pushed by tautschnig
September 7, 2023 13:47 3m 40s toolchain-2023-09-07-manual
toolchain-2023-09-07-manual
September 7, 2023 13:47 3m 40s
Unified handling for unstable command line flags across compiler and … Kani Format Check #158: Commit 9cd3de1 pushed by tautschnig
September 7, 2023 10:15 5m 25s main
main
September 7, 2023 10:15 5m 25s