Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
59 workflow run results
59 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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