Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
36 workflow run results
36 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge remote-tracking branch 'origin/main' into update-toolchain Kani Format Check #186: Commit 798bfe7 pushed by tautschnig
October 5, 2023 10:26 3m 56s update-toolchain
update-toolchain
October 5, 2023 10:26 3m 56s
Merge remote-tracking branch 'origin/main' into update-toolchain Kani Format Check #185: Commit 2ba3b24 pushed by tautschnig
October 5, 2023 08:44 7m 24s update-toolchain
update-toolchain
October 5, 2023 08:44 7m 24s
Update changelog to cover additional changes Kani Format Check #184: Commit 5aa1167 pushed by tautschnig
October 5, 2023 08:29 5m 14s release-kani-0.38.0
release-kani-0.38.0
October 5, 2023 08:29 5m 14s
Merge remote-tracking branch 'origin/main' into update-toolchain Kani Format Check #183: Commit 44eee0d pushed by tautschnig
October 4, 2023 21:49 5m 8s update-toolchain
update-toolchain
October 4, 2023 21:49 5m 8s
Merge branch 'main' into update-toolchain-2023-09-23 Kani Format Check #182: Commit c10f557 pushed by tautschnig
October 4, 2023 21:37 2m 57s update-toolchain-2023-09-23
update-toolchain-2023-09-23
October 4, 2023 21:37 2m 57s
Merge branch 'main' into future-clippy-warnings Kani Format Check #181: Commit 9765d3e pushed by tautschnig
October 4, 2023 20:18 4m 11s future-clippy-warnings
future-clippy-warnings
October 4, 2023 20:18 4m 11s
Sync changes Kani Format Check #180: Commit 2c10486 pushed by tautschnig
October 4, 2023 13:15 4m 30s fix-2705
fix-2705
October 4, 2023 13:15 4m 30s
Address clippy warnings Kani Format Check #179: Commit 24570ca pushed by tautschnig
October 4, 2023 12:10 4m 24s future-clippy-warnings
future-clippy-warnings
October 4, 2023 12:10 4m 24s
Update Rust toolchain to 2023-09-23 Kani Format Check #178: Commit 27cb922 pushed by tautschnig
October 4, 2023 12:05 3m 53s update-toolchain-2023-09-23
update-toolchain-2023-09-23
October 4, 2023 12:05 3m 53s
Create concrete playback temp files in source directory Kani Format Check #177: Commit 4cccf8a pushed by tautschnig
October 4, 2023 10:06 3m 57s fix-2705
fix-2705
October 4, 2023 10:06 3m 57s
Update CHANGELOG.md Kani Format Check #176: Commit a96e344 pushed by tautschnig
October 4, 2023 08:57 3m 51s release-kani-0.38.0
release-kani-0.38.0
October 4, 2023 08:57 3m 51s
Add PR to changelog, respond to feedback Kani Format Check #175: Commit 5d1d982 pushed by tautschnig
October 3, 2023 21:45 4m 13s release-kani-0.38.0
release-kani-0.38.0
October 3, 2023 21:45 4m 13s
Address clippy warnings Kani Format Check #174: Commit 6ee71f8 pushed by tautschnig
October 3, 2023 14:17 4m 9s update-toolchain
update-toolchain
October 3, 2023 14:17 4m 9s