Skip to content

Actions: tautschnig/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
audit.yml
275 workflow runs
275 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update .github/workflows/cbmc-update.yml Cargo Audit #208: Commit 2e1fc70 pushed by tautschnig
November 28, 2023 21:48 1m 47s auto-update-deps
auto-update-deps
November 28, 2023 21:48 1m 47s
Respond to feedback Cargo Audit #206: Commit 4161fe7 pushed by tautschnig
November 28, 2023 21:48 1m 55s auto-update-deps
auto-update-deps
November 28, 2023 21:48 1m 55s
Merge branch 'main' into dependabot Cargo Audit #205: Commit e967803 pushed by tautschnig
November 28, 2023 15:27 1m 5s dependabot
dependabot
November 28, 2023 15:27 1m 5s
Merge branch 'main' into dependabot Cargo Audit #204: Commit 5ff90da pushed by tautschnig
November 28, 2023 14:46 1m 9s dependabot
dependabot
November 28, 2023 14:46 1m 9s
Merge branch 'main' into release-0.42.0 Cargo Audit #203: Commit ac2f4a1 pushed by tautschnig
November 28, 2023 14:46 1m 2s release-0.42.0
release-0.42.0
November 28, 2023 14:46 1m 2s
Update dependencies Cargo Audit #202: Commit 1c181a3 pushed by tautschnig
November 28, 2023 12:25 1m 2s update-deps
update-deps
November 28, 2023 12:25 1m 2s
Update changelog Cargo Audit #201: Commit d8a9547 pushed by tautschnig
November 28, 2023 10:53 1m 3s release-0.42.0
release-0.42.0
November 28, 2023 10:53 1m 3s
Enable dependabot Cargo Audit #200: Commit f92b03a pushed by tautschnig
November 28, 2023 10:37 59s dependabot
dependabot
November 28, 2023 10:37 59s
Run regression tests Cargo Audit #199: Commit c49f775 pushed by tautschnig
November 28, 2023 10:19 1m 4s auto-update-deps
auto-update-deps
November 28, 2023 10:19 1m 4s
Update toolchain to nightly-2023-11-21 (#2890) Cargo Audit #198: Commit e8ee04b pushed by tautschnig
November 27, 2023 13:40 3m 36s main
main
November 27, 2023 13:40 3m 36s
Bump Kani version to 0.42.0 Cargo Audit #197: Commit c1baa41 pushed by tautschnig
November 27, 2023 13:39 1m 31s release-0.42.0
release-0.42.0
November 27, 2023 13:39 1m 31s
Automatically upgrade CBMC dependency Cargo Audit #196: Commit 081342f pushed by tautschnig
November 27, 2023 13:20 10m 21s auto-update-deps
auto-update-deps
November 27, 2023 13:20 10m 21s
Automate cargo update Cargo Audit #195: Commit 013f434 pushed by tautschnig
November 27, 2023 13:03 21m 11s main
main
November 27, 2023 13:03 21m 11s
Automate cargo update Cargo Audit #194: Pull request #21 opened by tautschnig
November 27, 2023 13:03 15m 3s auto-update-deps
auto-update-deps
November 27, 2023 13:03 15m 3s
Update toolchain to nightly-2023-11-21 (#2890) Cargo Audit #193: Commit e8ee04b pushed by tautschnig
November 27, 2023 13:02 1m 13s main
main
November 27, 2023 13:02 1m 13s
Automate cargo update Cargo Audit #192: Commit 8a32d84 pushed by tautschnig
November 27, 2023 13:01 1m 40s auto-update-deps
auto-update-deps
November 27, 2023 13:01 1m 40s
Cargo Audit Cargo Audit #191: by tautschnig
October 9, 2023 13:52 1m 29s cleanup-warnings
cleanup-warnings
October 9, 2023 13:52 1m 29s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-04 or the other filters available.