Skip to content

Actions: tautschnig/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
audit.yml
122 workflow run results
122 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Rust toolchain to 2023-10-09 Cargo Audit #190: Commit 6752b73 pushed by tautschnig
October 9, 2023 11:21 1m 23s update-toolchain-2023-10-08
update-toolchain-2023-10-08
October 9, 2023 11:21 1m 23s
Merge branch 'main' into update-toolchain Cargo Audit #189: Commit 0134c4d pushed by celinval
October 6, 2023 18:00 1m 33s update-toolchain
update-toolchain
October 6, 2023 18:00 1m 33s
Assert workspace Cargo Audit #188: Commit 11a0470 pushed by tautschnig
October 5, 2023 17:07 1m 32s exclude-workspace-only
exclude-workspace-only
October 5, 2023 17:07 1m 32s
Limit --exclude to workspace packages Cargo Audit #187: Commit 309c2e6 pushed by tautschnig
October 5, 2023 15:41 1m 33s exclude-workspace-only
exclude-workspace-only
October 5, 2023 15:41 1m 33s
Merge remote-tracking branch 'origin/main' into update-toolchain Cargo Audit #186: Commit 798bfe7 pushed by tautschnig
October 5, 2023 10:26 1m 50s update-toolchain
update-toolchain
October 5, 2023 10:26 1m 50s
Merge remote-tracking branch 'origin/main' into update-toolchain Cargo Audit #185: Commit 2ba3b24 pushed by tautschnig
October 5, 2023 08:44 1m 55s update-toolchain
update-toolchain
October 5, 2023 08:44 1m 55s
Update changelog to cover additional changes Cargo Audit #184: Commit 5aa1167 pushed by tautschnig
October 5, 2023 08:29 1m 21s release-kani-0.38.0
release-kani-0.38.0
October 5, 2023 08:29 1m 21s
Merge remote-tracking branch 'origin/main' into update-toolchain Cargo Audit #183: Commit 44eee0d pushed by tautschnig
October 4, 2023 21:49 1m 41s update-toolchain
update-toolchain
October 4, 2023 21:49 1m 41s
Merge branch 'main' into update-toolchain-2023-09-23 Cargo Audit #182: Commit c10f557 pushed by tautschnig
October 4, 2023 21:37 1m 32s update-toolchain-2023-09-23
update-toolchain-2023-09-23
October 4, 2023 21:37 1m 32s
Merge branch 'main' into future-clippy-warnings Cargo Audit #181: Commit 9765d3e pushed by tautschnig
October 4, 2023 20:18 1m 34s future-clippy-warnings
future-clippy-warnings
October 4, 2023 20:18 1m 34s
Sync changes Cargo Audit #180: Commit 2c10486 pushed by tautschnig
October 4, 2023 13:15 1m 29s fix-2705
fix-2705
October 4, 2023 13:15 1m 29s
Address clippy warnings Cargo Audit #179: Commit 24570ca pushed by tautschnig
October 4, 2023 12:10 1m 44s future-clippy-warnings
future-clippy-warnings
October 4, 2023 12:10 1m 44s
Update Rust toolchain to 2023-09-23 Cargo Audit #178: Commit 27cb922 pushed by tautschnig
October 4, 2023 12:05 1m 34s update-toolchain-2023-09-23
update-toolchain-2023-09-23
October 4, 2023 12:05 1m 34s
Create concrete playback temp files in source directory Cargo Audit #177: Commit 4cccf8a pushed by tautschnig
October 4, 2023 10:06 1m 30s fix-2705
fix-2705
October 4, 2023 10:06 1m 30s
Update CHANGELOG.md Cargo Audit #176: Commit a96e344 pushed by tautschnig
October 4, 2023 08:57 1m 34s release-kani-0.38.0
release-kani-0.38.0
October 4, 2023 08:57 1m 34s
Add PR to changelog, respond to feedback Cargo Audit #175: Commit 5d1d982 pushed by tautschnig
October 3, 2023 21:45 1m 38s release-kani-0.38.0
release-kani-0.38.0
October 3, 2023 21:45 1m 38s
Address clippy warnings Cargo Audit #174: Commit 6ee71f8 pushed by tautschnig
October 3, 2023 14:17 1m 31s update-toolchain
update-toolchain
October 3, 2023 14:17 1m 31s
Update Rust toolchain to 2023-10-03 Cargo Audit #173: Commit 585e5d3 pushed by tautschnig
October 3, 2023 13:52 1m 28s update-toolchain
update-toolchain
October 3, 2023 13:52 1m 28s
CHANGELOG formatting: fix heading levels Cargo Audit #172: Commit f1b420e pushed by tautschnig
October 2, 2023 11:20 1m 38s release-kani-0.38.0
release-kani-0.38.0
October 2, 2023 11:20 1m 38s
Bump Kani version to 0.38.0 Cargo Audit #171: Commit ba2100e pushed by tautschnig
October 2, 2023 11:18 1m 18s release-kani-0.38.0
release-kani-0.38.0
October 2, 2023 11:18 1m 18s
Update dependencies Cargo Audit #170: Commit 8884a1f pushed by tautschnig
October 2, 2023 11:09 1m 40s update-deps2
update-deps2
October 2, 2023 11:09 1m 40s
Merge branch 'main' into no-toolchain-label Cargo Audit #169: Commit bdbfb27 pushed by celinval
September 26, 2023 01:13 2m 2s no-toolchain-label
no-toolchain-label
September 26, 2023 01:13 2m 2s