Skip to content

Actions: tautschnig/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
20 workflow run results
20 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fmt Kani CI #211: Commit fa0e758 pushed by tautschnig
December 3, 2023 22:32 7m 59s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 3, 2023 22:32 7m 59s
Update the rust toolchain to nightly-2023-12-03 Kani CI #210: Commit 660b1f8 pushed by tautschnig
December 3, 2023 22:12 7m 12s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 3, 2023 22:12 7m 12s
Add disk space output to debug occasional test failures Kani CI #209: Commit b4387dd pushed by tautschnig
November 30, 2023 10:26 30m 5s disk-space-debug
disk-space-debug
November 30, 2023 10:26 30m 5s
Update .github/workflows/cbmc-update.yml Kani CI #208: Commit a49110e pushed by tautschnig
November 28, 2023 21:48 29m 11s auto-update-deps
auto-update-deps
November 28, 2023 21:48 29m 11s
Update .github/workflows/cbmc-update.yml Kani CI #207: Commit 2e1fc70 pushed by tautschnig
November 28, 2023 21:48 26m 43s auto-update-deps
auto-update-deps
November 28, 2023 21:48 26m 43s
Respond to feedback Kani CI #206: Commit 4161fe7 pushed by tautschnig
November 28, 2023 21:48 27m 50s auto-update-deps
auto-update-deps
November 28, 2023 21:48 27m 50s
Merge branch 'main' into dependabot Kani CI #205: Commit e967803 pushed by tautschnig
November 28, 2023 15:27 40m 59s dependabot
dependabot
November 28, 2023 15:27 40m 59s
Merge branch 'main' into dependabot Kani CI #204: Commit 5ff90da pushed by tautschnig
November 28, 2023 14:46 37m 5s dependabot
dependabot
November 28, 2023 14:46 37m 5s
Merge branch 'main' into release-0.42.0 Kani CI #203: Commit ac2f4a1 pushed by tautschnig
November 28, 2023 14:46 26m 48s release-0.42.0
release-0.42.0
November 28, 2023 14:46 26m 48s
Update dependencies Kani CI #202: Commit 1c181a3 pushed by tautschnig
November 28, 2023 12:25 30m 43s update-deps
update-deps
November 28, 2023 12:25 30m 43s
Update changelog Kani CI #201: Commit d8a9547 pushed by tautschnig
November 28, 2023 10:53 29m 9s release-0.42.0
release-0.42.0
November 28, 2023 10:53 29m 9s
Enable dependabot Kani CI #200: Commit f92b03a pushed by tautschnig
November 28, 2023 10:37 29m 24s dependabot
dependabot
November 28, 2023 10:37 29m 24s
Run regression tests Kani CI #199: Commit c49f775 pushed by tautschnig
November 28, 2023 10:19 32m 57s auto-update-deps
auto-update-deps
November 28, 2023 10:19 32m 57s
Update toolchain to nightly-2023-11-21 (#2890) Kani CI #198: Commit e8ee04b pushed by tautschnig
November 27, 2023 13:40 39m 16s main
main
November 27, 2023 13:40 39m 16s
Bump Kani version to 0.42.0 Kani CI #197: Commit c1baa41 pushed by tautschnig
November 27, 2023 13:39 34m 58s release-0.42.0
release-0.42.0
November 27, 2023 13:39 34m 58s
Automatically upgrade CBMC dependency Kani CI #196: Commit 081342f pushed by tautschnig
November 27, 2023 13:20 51m 16s auto-update-deps
auto-update-deps
November 27, 2023 13:20 51m 16s
Automate cargo update Kani CI #195: Commit 013f434 pushed by tautschnig
November 27, 2023 13:03 45m 14s main
main
November 27, 2023 13:03 45m 14s
Automate cargo update Kani CI #194: Pull request #21 opened by tautschnig
November 27, 2023 13:03 40m 34s auto-update-deps
auto-update-deps
November 27, 2023 13:03 40m 34s
Update toolchain to nightly-2023-11-21 (#2890) Kani CI #193: Commit e8ee04b pushed by tautschnig
November 27, 2023 13:02 41m 55s main
main
November 27, 2023 13:02 41m 55s
Automate cargo update Kani CI #192: Commit 8a32d84 pushed by tautschnig
November 27, 2023 13:01 41m 56s auto-update-deps
auto-update-deps
November 27, 2023 13:01 41m 56s