Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/main' into update-toolchain Kani CI #186: Commit 798bfe7 pushed by tautschnig
October 5, 2023 10:26 1h 16m 19s update-toolchain
update-toolchain
October 5, 2023 10:26 1h 16m 19s
Merge remote-tracking branch 'origin/main' into update-toolchain Kani CI #185: Commit 2ba3b24 pushed by tautschnig
October 5, 2023 08:44 1h 14m 38s update-toolchain
update-toolchain
October 5, 2023 08:44 1h 14m 38s
Update changelog to cover additional changes Kani CI #184: Commit 5aa1167 pushed by tautschnig
October 5, 2023 08:29 1h 18m 29s release-kani-0.38.0
release-kani-0.38.0
October 5, 2023 08:29 1h 18m 29s
Merge remote-tracking branch 'origin/main' into update-toolchain Kani CI #183: Commit 44eee0d pushed by tautschnig
October 4, 2023 21:49 1h 11m 19s update-toolchain
update-toolchain
October 4, 2023 21:49 1h 11m 19s
Merge branch 'main' into update-toolchain-2023-09-23 Kani CI #182: Commit c10f557 pushed by tautschnig
October 4, 2023 21:37 1h 9m 17s update-toolchain-2023-09-23
update-toolchain-2023-09-23
October 4, 2023 21:37 1h 9m 17s
Merge branch 'main' into future-clippy-warnings Kani CI #181: Commit 9765d3e pushed by tautschnig
October 4, 2023 20:18 1h 11m 41s future-clippy-warnings
future-clippy-warnings
October 4, 2023 20:18 1h 11m 41s
Sync changes Kani CI #180: Commit 2c10486 pushed by tautschnig
October 4, 2023 13:15 1h 10m 58s fix-2705
fix-2705
October 4, 2023 13:15 1h 10m 58s
Address clippy warnings Kani CI #179: Commit 24570ca pushed by tautschnig
October 4, 2023 12:10 1h 16m 33s future-clippy-warnings
future-clippy-warnings
October 4, 2023 12:10 1h 16m 33s
Update Rust toolchain to 2023-09-23 Kani CI #178: Commit 27cb922 pushed by tautschnig
October 4, 2023 12:05 1h 21m 26s update-toolchain-2023-09-23
update-toolchain-2023-09-23
October 4, 2023 12:05 1h 21m 26s
Create concrete playback temp files in source directory Kani CI #177: Commit 4cccf8a pushed by tautschnig
October 4, 2023 10:06 1h 9m 23s fix-2705
fix-2705
October 4, 2023 10:06 1h 9m 23s
Update CHANGELOG.md Kani CI #176: Commit a96e344 pushed by tautschnig
October 4, 2023 08:57 1h 9m 4s release-kani-0.38.0
release-kani-0.38.0
October 4, 2023 08:57 1h 9m 4s
Add PR to changelog, respond to feedback Kani CI #175: Commit 5d1d982 pushed by tautschnig
October 3, 2023 21:45 1h 19m 23s release-kani-0.38.0
release-kani-0.38.0
October 3, 2023 21:45 1h 19m 23s
Address clippy warnings Kani CI #174: Commit 6ee71f8 pushed by tautschnig
October 3, 2023 14:17 6h 0m 24s update-toolchain
update-toolchain
October 3, 2023 14:17 6h 0m 24s
Update Rust toolchain to 2023-10-03 Kani CI #173: Commit 585e5d3 pushed by tautschnig
October 3, 2023 13:52 6h 0m 53s update-toolchain
update-toolchain
October 3, 2023 13:52 6h 0m 53s
CHANGELOG formatting: fix heading levels Kani CI #172: Commit f1b420e pushed by tautschnig
October 2, 2023 11:20 1h 17m 11s release-kani-0.38.0
release-kani-0.38.0
October 2, 2023 11:20 1h 17m 11s
Bump Kani version to 0.38.0 Kani CI #171: Commit ba2100e pushed by tautschnig
October 2, 2023 11:18 1h 11m 49s release-kani-0.38.0
release-kani-0.38.0
October 2, 2023 11:18 1h 11m 49s
Update dependencies Kani CI #170: Commit 8884a1f pushed by tautschnig
October 2, 2023 11:09 1h 10m 23s update-deps2
update-deps2
October 2, 2023 11:09 1h 10m 23s
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
ProTip! You can narrow down the results and go further in time using created:<2023-09-09 or the other filters available.