Skip to content

Actions: model-checking/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,333 workflow run results
1,333 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Function Contracts: Interior Mutability Tests Cargo Audit #5912: Pull request #3351 synchronize by pi314mm
July 17, 2024 23:58 1m 5s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 17, 2024 23:58 1m 5s
Function Contracts: Interior Mutability Tests Cargo Audit #5911: Pull request #3351 synchronize by pi314mm
July 17, 2024 23:32 1m 0s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 17, 2024 23:32 1m 0s
Function Contracts: Interior Mutability Tests Cargo Audit #5910: Pull request #3351 synchronize by pi314mm
July 17, 2024 23:27 59s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 17, 2024 23:27 59s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5909: Pull request #3344 synchronize by artemagvanian
July 17, 2024 23:25 1m 1s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 23:25 1m 1s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5908: Pull request #3344 synchronize by artemagvanian
July 17, 2024 23:22 1m 2s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 23:22 1m 2s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5907: Pull request #3344 synchronize by artemagvanian
July 17, 2024 23:16 1m 7s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 23:16 1m 7s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5906: Pull request #3344 synchronize by artemagvanian
July 17, 2024 23:13 1m 5s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 23:13 1m 5s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Cargo Audit #5905: Pull request #3283 synchronize by adpaco-aws
July 17, 2024 22:18 1m 2s adpaco-aws:derive-invariant-2
adpaco-aws:derive-invariant-2
July 17, 2024 22:18 1m 2s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Cargo Audit #5904: Pull request #3283 synchronize by adpaco-aws
July 17, 2024 22:09 1m 0s adpaco-aws:derive-invariant-2
adpaco-aws:derive-invariant-2
July 17, 2024 22:09 1m 0s
Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros Cargo Audit #5903: Pull request #3283 synchronize by adpaco-aws
July 17, 2024 22:07 1m 3s adpaco-aws:derive-invariant-2
adpaco-aws:derive-invariant-2
July 17, 2024 22:07 1m 3s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5902: Pull request #3344 synchronize by artemagvanian
July 17, 2024 22:03 1m 6s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 22:03 1m 6s
Function Contracts: Interior Mutability Tests Cargo Audit #5901: Pull request #3351 opened by pi314mm
July 17, 2024 21:50 1m 3s pi314mm:int-mut-tests
pi314mm:int-mut-tests
July 17, 2024 21:50 1m 3s
Add support for global transformations Cargo Audit #5900: Pull request #3348 synchronize by artemagvanian
July 17, 2024 20:07 1m 4s artemagvanian:global-transformations
artemagvanian:global-transformations
July 17, 2024 20:07 1m 4s
Implement memory initialization state copy functionality Cargo Audit #5899: Pull request #3350 synchronize by artemagvanian
July 17, 2024 19:49 1m 3s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
July 17, 2024 19:49 1m 3s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5898: Pull request #3344 synchronize by artemagvanian
July 17, 2024 19:44 1m 2s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 17, 2024 19:44 1m 2s
Implement memory initialization state copy functionality Cargo Audit #5897: Pull request #3350 synchronize by artemagvanian
July 17, 2024 19:43 1m 12s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
July 17, 2024 19:43 1m 12s
Implement memory initialization state copy functionality Cargo Audit #5896: Pull request #3350 synchronize by artemagvanian
July 17, 2024 19:05 1m 3s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
July 17, 2024 19:05 1m 3s
Implement memory initialization state copy functionality Cargo Audit #5895: Pull request #3350 synchronize by artemagvanian
July 17, 2024 18:56 1m 7s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
July 17, 2024 18:56 1m 7s
Implement memory initialization state copy functionality Cargo Audit #5894: Pull request #3350 opened by artemagvanian
July 17, 2024 16:38 1m 10s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
July 17, 2024 16:38 1m 10s
Function Contracts: Modify Slices (#3295) Cargo Audit #5893: Commit 852fd8f pushed by feliperodri
July 17, 2024 16:17 1m 13s main
main
July 17, 2024 16:17 1m 13s
Function Contracts: Modify Slices Cargo Audit #5892: Pull request #3295 synchronize by feliperodri
July 17, 2024 15:39 1m 12s pi314mm:modifies_fat
pi314mm:modifies_fat
July 17, 2024 15:39 1m 12s
Automatic toolchain upgrade to nightly-2024-07-16 (#3346) Cargo Audit #5891: Commit b1681e7 pushed by tautschnig
July 17, 2024 10:33 1m 9s main
main
July 17, 2024 10:33 1m 9s
Automatic toolchain upgrade to nightly-2024-07-16 Cargo Audit #5890: Pull request #3346 synchronize by tautschnig
July 17, 2024 10:00 1m 7s toolchain-2024-07-16
toolchain-2024-07-16
July 17, 2024 10:00 1m 7s
Merge branch 'main' into toolchain-2024-07-16 Cargo Audit #5889: Commit ee58531 pushed by tautschnig
July 17, 2024 10:00 1m 17s toolchain-2024-07-16
toolchain-2024-07-16
July 17, 2024 10:00 1m 17s
Function Contracts: Modify Slices Cargo Audit #5888: Pull request #3295 synchronize by pi314mm
July 17, 2024 04:36 1m 9s pi314mm:modifies_fat
pi314mm:modifies_fat
July 17, 2024 04:36 1m 9s