Skip to content

Actions: tautschnig/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update Rust toolchain to 2023-10-03 Kani Format Check #173: Commit 585e5d3 pushed by tautschnig
October 3, 2023 13:52 2m 12s update-toolchain
update-toolchain
October 3, 2023 13:52 2m 12s
CHANGELOG formatting: fix heading levels Kani Format Check #172: Commit f1b420e pushed by tautschnig
October 2, 2023 11:20 3m 0s release-kani-0.38.0
release-kani-0.38.0
October 2, 2023 11:20 3m 0s
Bump Kani version to 0.38.0 Kani Format Check #171: Commit ba2100e pushed by tautschnig
October 2, 2023 11:18 4m 14s release-kani-0.38.0
release-kani-0.38.0
October 2, 2023 11:18 4m 14s
Update dependencies Kani Format Check #170: Commit 8884a1f pushed by tautschnig
October 2, 2023 11:09 5m 20s update-deps2
update-deps2
October 2, 2023 11:09 5m 20s
Merge branch 'main' into no-toolchain-label Kani Format Check #169: Commit bdbfb27 pushed by celinval
September 26, 2023 01:13 4m 48s no-toolchain-label
no-toolchain-label
September 26, 2023 01:13 4m 48s