Skip to content

Actions: model-checking/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
audit.yml
2,833 workflow runs
2,833 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Update to CBMC version 6.0.1 Cargo Audit #5580: Pull request #2995 synchronize by tautschnig
June 24, 2024 10:01 1m 8s tautschnig:cbmc-6
tautschnig:cbmc-6
June 24, 2024 10:01 1m 8s
Update to CBMC version 6.0.1 Cargo Audit #5579: Pull request #2995 synchronize by tautschnig
June 24, 2024 09:46 1m 40s tautschnig:cbmc-6
tautschnig:cbmc-6
June 24, 2024 09:46 1m 40s
Automatic cargo update to 2024-06-24 Cargo Audit #5578: Pull request #3286 reopened by tautschnig
June 24, 2024 09:38 1m 9s cargo-update-2024-06-24
cargo-update-2024-06-24
June 24, 2024 09:38 1m 9s
Automatic toolchain upgrade to nightly-2024-06-22 Cargo Audit #5577: Pull request #3285 reopened by tautschnig
June 23, 2024 18:38 1m 12s toolchain-2024-06-22
toolchain-2024-06-22
June 23, 2024 18:38 1m 12s
Fix TestLocalChain CI action Cargo Audit #5576: Pull request #3284 opened by celinval
June 21, 2024 22:55 1m 1s celinval:issue-xxxx-ci
celinval:issue-xxxx-ci
June 21, 2024 22:55 1m 1s
Enable an #[invariant(...)] attribute helper for the #[derive(Invariant)] macro Cargo Audit #5575: Pull request #3283 synchronize by adpaco-aws
June 21, 2024 21:34 1m 2s adpaco-aws:derive-invariant-2
adpaco-aws:derive-invariant-2
June 21, 2024 21:34 1m 2s
Enable an #[invariant(...)] attribute helper for the #[derive(Invariant)] macro Cargo Audit #5574: Pull request #3283 synchronize by adpaco-aws
June 21, 2024 21:16 59s adpaco-aws:derive-invariant-2
adpaco-aws:derive-invariant-2
June 21, 2024 21:16 59s
Enable an #[invariant(...)] attribute helper for the #[derive(Invariant)] macro Cargo Audit #5573: Pull request #3283 synchronize by adpaco-aws
June 21, 2024 21:14 59s adpaco-aws:derive-invariant-2
adpaco-aws:derive-invariant-2
June 21, 2024 21:14 59s
Enable an #[invariant(...)] attribute helper for the #[derive(Invariant)] macro Cargo Audit #5572: Pull request #3283 opened by adpaco-aws
June 21, 2024 21:13 59s adpaco-aws:derive-invariant-2
adpaco-aws:derive-invariant-2
June 21, 2024 21:13 59s
Towards Proving Memory Initialization Cargo Audit #5571: Pull request #3264 synchronize by artemagvanian
June 21, 2024 20:31 1m 1s artemagvanian:main
artemagvanian:main
June 21, 2024 20:31 1m 1s
Upgrade Rust toolchain to nightly-2024-06-21 (#3282) Cargo Audit #5570: Commit 5b119e8 pushed by celinval
June 21, 2024 20:21 1m 5s main
main
June 21, 2024 20:21 1m 5s
Upgrade Rust toolchain to nightly-2024-06-21 Cargo Audit #5569: Pull request #3282 synchronize by celinval
June 21, 2024 19:49 1m 2s celinval:issue-3275-toolchain
celinval:issue-3275-toolchain
June 21, 2024 19:49 1m 2s
Deprecate --visualize in favor of concrete playback (#3281) Cargo Audit #5568: Commit 73843ec pushed by celinval
June 21, 2024 19:48 1m 3s main
main
June 21, 2024 19:48 1m 3s
Towards Proving Memory Initialization Cargo Audit #5567: Pull request #3264 synchronize by artemagvanian
June 21, 2024 19:36 1m 9s artemagvanian:main
artemagvanian:main
June 21, 2024 19:36 1m 9s
Upgrade Rust toolchain to nightly-2024-06-21 Cargo Audit #5566: Pull request #3282 opened by celinval
June 21, 2024 19:22 1m 31s celinval:issue-3275-toolchain
celinval:issue-3275-toolchain
June 21, 2024 19:22 1m 31s
Deprecate --visualize in favor of concrete playback Cargo Audit #5565: Pull request #3281 synchronize by celinval
June 21, 2024 19:17 1m 4s celinval:issue-2832-visualize
celinval:issue-2832-visualize
June 21, 2024 19:17 1m 4s
Deprecate --visualize in favor of concrete playback Cargo Audit #5564: Pull request #3281 opened by celinval
June 21, 2024 19:11 1m 0s celinval:issue-2832-visualize
celinval:issue-2832-visualize
June 21, 2024 19:11 1m 0s
Remove support for the unstable argument --function (#3278) Cargo Audit #5563: Commit 0d8675d pushed by celinval
June 21, 2024 18:54 1m 1s main
main
June 21, 2024 18:54 1m 1s
Remove support for the unstable argument --function Cargo Audit #5562: Pull request #3278 synchronize by celinval
June 21, 2024 18:19 1m 0s celinval:issue-xxxx-fn-opt
celinval:issue-xxxx-fn-opt
June 21, 2024 18:19 1m 0s
Remove support for the unstable argument --function Cargo Audit #5561: Pull request #3278 synchronize by celinval
June 21, 2024 18:18 1m 1s celinval:issue-xxxx-fn-opt
celinval:issue-xxxx-fn-opt
June 21, 2024 18:18 1m 1s
Add tests checking if Kani detects dangling pointer dereference insid… Cargo Audit #5560: Commit 12ff35f pushed by artemagvanian
June 21, 2024 16:58 1m 0s main
main
June 21, 2024 16:58 1m 0s
Add tests checking if Kani detects dangling pointer dereference inside println macro Cargo Audit #5559: Pull request #3280 synchronize by artemagvanian
June 21, 2024 16:26 1m 7s artemagvanian:dangling-ptr-println
artemagvanian:dangling-ptr-println
June 21, 2024 16:26 1m 7s
Add tests checking if Kani detects dangling pointer dereference inside println macro Cargo Audit #5558: Pull request #3280 opened by artemagvanian
June 21, 2024 16:20 59s artemagvanian:dangling-ptr-println
artemagvanian:dangling-ptr-println
June 21, 2024 16:20 59s
Towards Proving Memory Initialization Cargo Audit #5557: Pull request #3264 synchronize by artemagvanian
June 21, 2024 15:56 1m 0s artemagvanian:main
artemagvanian:main
June 21, 2024 15:56 1m 0s
Define a kani::invariant attribute Cargo Audit #5556: Pull request #3270 synchronize by tautschnig
June 21, 2024 15:40 59s adpaco-aws:attr-invariant
adpaco-aws:attr-invariant
June 21, 2024 15:40 59s