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

Bump tests/perf/s2n-quic from cd20ac1 to 71f8d9f (#3343) Cargo Audit #5862: Commit 441451c pushed by zhassan-aws
July 15, 2024 17:24 56s main
main
July 15, 2024 17:24 56s
Mitigate invalid transmute when checking memory initialization Cargo Audit #5861: Pull request #3338 synchronize by artemagvanian
July 15, 2024 16:54 1m 2s artemagvanian:mitigate-transmute
artemagvanian:mitigate-transmute
July 15, 2024 16:54 1m 2s
Unify kani library and kani core logic Cargo Audit #5860: Pull request #3333 synchronize by jaisnan
July 15, 2024 16:52 1m 1s jaisnan:clean-kani-core
jaisnan:clean-kani-core
July 15, 2024 16:52 1m 1s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5859: Pull request #3344 synchronize by artemagvanian
July 15, 2024 16:52 57s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 15, 2024 16:52 57s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5858: Pull request #3344 synchronize by artemagvanian
July 15, 2024 16:50 59s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 15, 2024 16:50 59s
Support for disabling automatically generated pointer checks to avoid reinstrumentation Cargo Audit #5857: Pull request #3344 opened by artemagvanian
July 15, 2024 16:50 58s artemagvanian:kani-pragmas
artemagvanian:kani-pragmas
July 15, 2024 16:50 58s
Bump tests/perf/s2n-quic from cd20ac1 to 71f8d9f Cargo Audit #5856: Pull request #3343 opened by dependabot bot
July 15, 2024 16:23 1m 9s dependabot/submodules/tests/perf/s2n-quic-71f8d9f
dependabot/submodules/tests/perf/s2n-quic-71f8d9f
July 15, 2024 16:23 1m 9s
Bump tests/perf/s2n-quic from cd20ac1 to 71f8d9f Cargo Audit #5855: Commit 0423b39 pushed by dependabot bot
July 15, 2024 16:23 1m 10s dependabot/submodules/tests/perf/s2n-quic-71f8d9f
dependabot/submodules/tests/perf/s2n-quic-71f8d9f
July 15, 2024 16:23 1m 10s
Automatic cargo update to 2024-07-15 (#3342) Cargo Audit #5854: Commit 0b8acc4 pushed by tautschnig
July 15, 2024 09:21 1m 4s main
main
July 15, 2024 09:21 1m 4s
Automatic cargo update to 2024-07-15 Cargo Audit #5853: Pull request #3342 synchronize by tautschnig
July 15, 2024 08:03 1m 3s cargo-update-2024-07-15
cargo-update-2024-07-15
July 15, 2024 08:03 1m 3s
Merge branch 'main' into cargo-update-2024-07-15 Cargo Audit #5852: Commit 03a5f9d pushed by tautschnig
July 15, 2024 08:03 1m 4s cargo-update-2024-07-15
cargo-update-2024-07-15
July 15, 2024 08:03 1m 4s
Automatic toolchain upgrade to nightly-2024-07-15 (#3341) Cargo Audit #5851: Commit da092ca pushed by tautschnig
July 15, 2024 08:02 1m 13s main
main
July 15, 2024 08:02 1m 13s
Function Contracts: Modify Slices Cargo Audit #5850: Pull request #3295 synchronize by pi314mm
July 15, 2024 06:40 1m 38s pi314mm:modifies_fat
pi314mm:modifies_fat
July 15, 2024 06:40 1m 38s
Automatic cargo update to 2024-07-15 Cargo Audit #5849: Pull request #3342 reopened by zhassan-aws
July 15, 2024 05:51 1m 8s cargo-update-2024-07-15
cargo-update-2024-07-15
July 15, 2024 05:51 1m 8s
Automatic toolchain upgrade to nightly-2024-07-15 Cargo Audit #5848: Pull request #3341 reopened by zhassan-aws
July 15, 2024 05:51 1m 16s toolchain-2024-07-15
toolchain-2024-07-15
July 15, 2024 05:51 1m 16s
Automatic toolchain upgrade to nightly-2024-07-14 (#3340) Cargo Audit #5847: Commit 4592a4a pushed by tautschnig
July 14, 2024 09:46 1m 2s main
main
July 14, 2024 09:46 1m 2s
Automatic toolchain upgrade to nightly-2024-07-14 Cargo Audit #5846: Pull request #3340 reopened by tautschnig
July 14, 2024 07:51 1m 9s toolchain-2024-07-14
toolchain-2024-07-14
July 14, 2024 07:51 1m 9s
Automatic toolchain upgrade to nightly-2024-07-13 (#3339) Cargo Audit #5845: Commit 3d57f52 pushed by zhassan-aws
July 13, 2024 12:47 1m 16s main
main
July 13, 2024 12:47 1m 16s
Automatic toolchain upgrade to nightly-2024-07-13 Cargo Audit #5844: Pull request #3339 reopened by zhassan-aws
July 13, 2024 03:21 1m 2s toolchain-2024-07-13
toolchain-2024-07-13
July 13, 2024 03:21 1m 2s
Function Contracts: Modify Slices Cargo Audit #5843: Pull request #3295 synchronize by pi314mm
July 12, 2024 21:10 1m 0s pi314mm:modifies_fat
pi314mm:modifies_fat
July 12, 2024 21:10 1m 0s
Mitigate invalid transmute when checking memory initialization Cargo Audit #5842: Pull request #3338 synchronize by artemagvanian
July 12, 2024 21:03 1m 3s artemagvanian:mitigate-transmute
artemagvanian:mitigate-transmute
July 12, 2024 21:03 1m 3s
Mitigate invalid transmute when checking memory initialization Cargo Audit #5841: Pull request #3338 opened by artemagvanian
July 12, 2024 20:57 1m 1s artemagvanian:mitigate-transmute
artemagvanian:mitigate-transmute
July 12, 2024 20:57 1m 1s
Upgrade toolchain to 7/12 (#3337) Cargo Audit #5840: Commit 02e3327 pushed by jaisnan
July 12, 2024 19:05 58s main
main
July 12, 2024 19:05 58s
Fix contract handling of promoted constants and constant static Cargo Audit #5839: Pull request #3305 synchronize by celinval
July 12, 2024 18:41 59s celinval:issue-3228-contracts
celinval:issue-3228-contracts
July 12, 2024 18:41 59s
Upgrade toolchain to 7/12 Cargo Audit #5838: Pull request #3337 synchronize by jaisnan
July 12, 2024 18:34 1m 12s jaisnan:upgrade-toolchain-july1
jaisnan:upgrade-toolchain-july1
July 12, 2024 18:34 1m 12s