Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fmt Kani Format Check #211: Commit fa0e758 pushed by tautschnig
December 3, 2023 22:32 2m 0s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 3, 2023 22:32 2m 0s
Update the rust toolchain to nightly-2023-12-03 Kani Format Check #210: Commit 660b1f8 pushed by tautschnig
December 3, 2023 22:12 3m 9s toolchain-2023-12-03-manual
toolchain-2023-12-03-manual
December 3, 2023 22:12 3m 9s
Add disk space output to debug occasional test failures Kani Format Check #209: Commit b4387dd pushed by tautschnig
November 30, 2023 10:26 4m 1s disk-space-debug
disk-space-debug
November 30, 2023 10:26 4m 1s
Update .github/workflows/cbmc-update.yml Kani Format Check #208: Commit a49110e pushed by tautschnig
November 28, 2023 21:48 2m 6s auto-update-deps
auto-update-deps
November 28, 2023 21:48 2m 6s
Update .github/workflows/cbmc-update.yml Kani Format Check #207: Commit 2e1fc70 pushed by tautschnig
November 28, 2023 21:48 2m 3s auto-update-deps
auto-update-deps
November 28, 2023 21:48 2m 3s
Respond to feedback Kani Format Check #206: Commit 4161fe7 pushed by tautschnig
November 28, 2023 21:48 2m 14s auto-update-deps
auto-update-deps
November 28, 2023 21:48 2m 14s
Merge branch 'main' into dependabot Kani Format Check #205: Commit e967803 pushed by tautschnig
November 28, 2023 15:27 2m 12s dependabot
dependabot
November 28, 2023 15:27 2m 12s
Merge branch 'main' into dependabot Kani Format Check #204: Commit 5ff90da pushed by tautschnig
November 28, 2023 14:46 3m 39s dependabot
dependabot
November 28, 2023 14:46 3m 39s
Merge branch 'main' into release-0.42.0 Kani Format Check #203: Commit ac2f4a1 pushed by tautschnig
November 28, 2023 14:46 3m 15s release-0.42.0
release-0.42.0
November 28, 2023 14:46 3m 15s
Update dependencies Kani Format Check #202: Commit 1c181a3 pushed by tautschnig
November 28, 2023 12:25 2m 10s update-deps
update-deps
November 28, 2023 12:25 2m 10s
Update changelog Kani Format Check #201: Commit d8a9547 pushed by tautschnig
November 28, 2023 10:53 2m 20s release-0.42.0
release-0.42.0
November 28, 2023 10:53 2m 20s
Enable dependabot Kani Format Check #200: Commit f92b03a pushed by tautschnig
November 28, 2023 10:37 2m 6s dependabot
dependabot
November 28, 2023 10:37 2m 6s
Run regression tests Kani Format Check #199: Commit c49f775 pushed by tautschnig
November 28, 2023 10:19 2m 18s auto-update-deps
auto-update-deps
November 28, 2023 10:19 2m 18s
Update toolchain to nightly-2023-11-21 (#2890) Kani Format Check #198: Commit e8ee04b pushed by tautschnig
November 27, 2023 13:40 14m 46s main
main
November 27, 2023 13:40 14m 46s
Bump Kani version to 0.42.0 Kani Format Check #197: Commit c1baa41 pushed by tautschnig
November 27, 2023 13:39 3m 40s release-0.42.0
release-0.42.0
November 27, 2023 13:39 3m 40s
Automatically upgrade CBMC dependency Kani Format Check #196: Commit 081342f pushed by tautschnig
November 27, 2023 13:20 12m 50s auto-update-deps
auto-update-deps
November 27, 2023 13:20 12m 50s
Automate cargo update Kani Format Check #195: Commit 013f434 pushed by tautschnig
November 27, 2023 13:03 21m 46s main
main
November 27, 2023 13:03 21m 46s
Automate cargo update Kani Format Check #194: Pull request #21 opened by tautschnig
November 27, 2023 13:03 3m 15s auto-update-deps
auto-update-deps
November 27, 2023 13:03 3m 15s
Update toolchain to nightly-2023-11-21 (#2890) Kani Format Check #193: Commit e8ee04b pushed by tautschnig
November 27, 2023 13:02 3m 6s main
main
November 27, 2023 13:02 3m 6s
Automate cargo update Kani Format Check #192: Commit 8a32d84 pushed by tautschnig
November 27, 2023 13:01 2m 29s auto-update-deps
auto-update-deps
November 27, 2023 13:01 2m 29s
Kani Format Check Kani Format Check #191: by tautschnig
October 9, 2023 13:52 4m 58s cleanup-warnings
cleanup-warnings
October 9, 2023 13:52 4m 58s
Update Rust toolchain to 2023-10-09 Kani Format Check #190: Commit 6752b73 pushed by tautschnig
October 9, 2023 11:21 4m 10s update-toolchain-2023-10-08
update-toolchain-2023-10-08
October 9, 2023 11:21 4m 10s
Merge branch 'main' into update-toolchain Kani Format Check #189: Commit 0134c4d pushed by celinval
October 6, 2023 18:00 4m 27s update-toolchain
update-toolchain
October 6, 2023 18:00 4m 27s
Assert workspace Kani Format Check #188: Commit 11a0470 pushed by tautschnig
October 5, 2023 17:07 4m 53s exclude-workspace-only
exclude-workspace-only
October 5, 2023 17:07 4m 53s
Limit --exclude to workspace packages Kani Format Check #187: Commit 309c2e6 pushed by tautschnig
October 5, 2023 15:41 3m 50s exclude-workspace-only
exclude-workspace-only
October 5, 2023 15:41 3m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-10-05 or the other filters available.