Skip to content

Actions: model-checking/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,943 workflow runs
1,943 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Switch MacOS CI jobs to macos-13 Cargo Audit #4616: Pull request #2987 synchronize by tautschnig
January 31, 2024 19:27 1m 29s tautschnig:macos-13
tautschnig:macos-13
January 31, 2024 19:27 1m 29s
Switch MacOS CI jobs to macos-13 Cargo Audit #4615: Pull request #2987 synchronize by tautschnig
January 31, 2024 19:21 58s tautschnig:macos-13
tautschnig:macos-13
January 31, 2024 19:21 58s
modifies Clauses for Function Contracts Cargo Audit #4614: Pull request #2800 synchronize by JustusAdam
January 31, 2024 19:09 1m 10s JustusAdam:new-assigns-check
JustusAdam:new-assigns-check
January 31, 2024 19:09 1m 10s
modifies Clauses for Function Contracts Cargo Audit #4613: Pull request #2800 synchronize by JustusAdam
January 31, 2024 17:47 1m 12s JustusAdam:new-assigns-check
JustusAdam:new-assigns-check
January 31, 2024 17:47 1m 12s
modifies Clauses for Function Contracts Cargo Audit #4612: Pull request #2800 synchronize by JustusAdam
January 31, 2024 17:41 1m 12s JustusAdam:new-assigns-check
JustusAdam:new-assigns-check
January 31, 2024 17:41 1m 12s
modifies Clauses for Function Contracts Cargo Audit #4611: Pull request #2800 synchronize by JustusAdam
January 31, 2024 17:37 1m 41s JustusAdam:new-assigns-check
JustusAdam:new-assigns-check
January 31, 2024 17:37 1m 41s
modifies Clauses for Function Contracts Cargo Audit #4610: Pull request #2800 synchronize by JustusAdam
January 30, 2024 20:56 1m 8s JustusAdam:new-assigns-check
JustusAdam:new-assigns-check
January 30, 2024 20:56 1m 8s
Automatic cargo update to 2024-01-29 Cargo Audit #4609: Pull request #2986 synchronize by feliperodri
January 30, 2024 19:15 1m 48s cargo-update-2024-01-29
cargo-update-2024-01-29
January 30, 2024 19:15 1m 48s
Fix cargo audit failure Cargo Audit #4608: Commit a67a8c8 pushed by feliperodri
January 30, 2024 19:15 1m 14s cargo-update-2024-01-29
cargo-update-2024-01-29
January 30, 2024 19:15 1m 14s
modifies Clauses for Function Contracts Cargo Audit #4607: Pull request #2800 synchronize by JustusAdam
January 29, 2024 22:11 1m 10s JustusAdam:new-assigns-check
JustusAdam:new-assigns-check
January 29, 2024 22:11 1m 10s
modifies Clauses for Function Contracts Cargo Audit #4606: Pull request #2800 synchronize by JustusAdam
January 29, 2024 21:56 1m 20s JustusAdam:new-assigns-check
JustusAdam:new-assigns-check
January 29, 2024 21:56 1m 20s
modifies Clauses for Function Contracts Cargo Audit #4605: Pull request #2800 synchronize by JustusAdam
January 29, 2024 21:53 59s JustusAdam:new-assigns-check
JustusAdam:new-assigns-check
January 29, 2024 21:53 59s
modifies Clauses for Function Contracts Cargo Audit #4604: Pull request #2800 synchronize by JustusAdam
January 29, 2024 21:48 1m 1s JustusAdam:new-assigns-check
JustusAdam:new-assigns-check
January 29, 2024 21:48 1m 1s
Switch MacOS CI jobs to macos-13 Cargo Audit #4603: Pull request #2987 synchronize by tautschnig
January 29, 2024 15:54 1m 4s tautschnig:macos-13
tautschnig:macos-13
January 29, 2024 15:54 1m 4s
Switch MacOS CI jobs to macos-13 Cargo Audit #4602: Pull request #2987 synchronize by tautschnig
January 29, 2024 15:37 1m 37s tautschnig:macos-13
tautschnig:macos-13
January 29, 2024 15:37 1m 37s
Switch MacOS CI jobs to macos-13 Cargo Audit #4601: Pull request #2987 opened by tautschnig
January 29, 2024 15:35 1m 8s tautschnig:macos-13
tautschnig:macos-13
January 29, 2024 15:35 1m 8s
Automatic cargo update to 2024-01-29 Cargo Audit #4600: Pull request #2986 reopened by tautschnig
January 29, 2024 11:01 1m 8s cargo-update-2024-01-29
cargo-update-2024-01-29
January 29, 2024 11:01 1m 8s
Upgrade Rust toolchain to nightly-2024-01-23 Cargo Audit #4599: Pull request #2983 synchronize by celinval
January 26, 2024 22:44 1m 5s celinval:toolchain-2024-01-22
celinval:toolchain-2024-01-22
January 26, 2024 22:44 1m 5s
Upgrade Rust toolchain to nightly-2024-01-23 Cargo Audit #4598: Pull request #2983 synchronize by celinval
January 26, 2024 22:44 1m 24s celinval:toolchain-2024-01-22
celinval:toolchain-2024-01-22
January 26, 2024 22:44 1m 24s
Don't crash when benchmark contains unknown metric Cargo Audit #4597: Pull request #2985 opened by karkhaz
January 26, 2024 17:42 1m 38s karkhaz:kk-fix-metric-result-loading
karkhaz:kk-fix-metric-result-loading
January 26, 2024 17:42 1m 38s
Bump Kani version to 0.45.0 (#2984) Cargo Audit #4596: Commit 89c61cf pushed by qinheping
January 24, 2024 19:16 1m 46s main
main
January 24, 2024 19:16 1m 46s
Revert "Automatic cargo update to 2024-01-22" Cargo Audit #4595: Commit 7d03dac pushed by qinheping
January 24, 2024 17:01 1m 15s revert-2980-cargo-update-2024-01-22
revert-2980-cargo-update-2024-01-22
January 24, 2024 17:01 1m 15s
Bump Kani version to 0.45.0 Cargo Audit #4594: Pull request #2984 synchronize by qinheping
January 24, 2024 16:55 1m 1s qinheping:kani-0.45.0
qinheping:kani-0.45.0
January 24, 2024 16:55 1m 1s
Automatic cargo update to 2024-01-22 (#2980) Cargo Audit #4593: Commit 65c4976 pushed by qinheping
January 24, 2024 16:55 1m 11s main
main
January 24, 2024 16:55 1m 11s
Bump Kani version to 0.45.0 Cargo Audit #4592: Pull request #2984 opened by qinheping
January 24, 2024 07:29 1m 32s qinheping:kani-0.45.0
qinheping:kani-0.45.0
January 24, 2024 07:29 1m 32s
ProTip! You can narrow down the results and go further in time using created:<2024-01-24 or the other filters available.