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

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
ProTip! You can narrow down the results and go further in time using created:<2023-09-07 or the other filters available.