Skip to content

Actions: model-checking/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,838 workflow runs
2,838 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Partially integrate uninit memory checks into verify_std Cargo Audit #6523: Pull request #3470 opened by artemagvanian
August 30, 2024 13:21 1m 16s artemagvanian:uninit-mem-checks-integration
artemagvanian:uninit-mem-checks-integration
August 30, 2024 13:21 1m 16s
Bump tests/perf/s2n-quic from 80b93a7 to 8f7c04b (#3460) Cargo Audit #6522: Commit ac10164 pushed by github-merge-queue bot
August 26, 2024 22:14 1m 18s main
main
August 26, 2024 22:14 1m 18s
Cargo Audit Cargo Audit #6521: Merge group checks requested
August 26, 2024 21:31 1m 8s
August 26, 2024 21:31 1m 8s
Bump tests/perf/s2n-quic from 80b93a7 to 8f7c04b (#3460) Cargo Audit #6520: Commit ac10164 pushed by github-merge-queue bot
August 26, 2024 21:31 1m 4s gh-readonly-queue/main/pr-3460-1f0b47f98383b4c9901c64ab708eb68b2ec5525f
gh-readonly-queue/main/pr-3460-1f0b47f98383b4c9901c64ab708eb68b2ec5525f
August 26, 2024 21:31 1m 4s
Basic support for memory initialization checks for unions Cargo Audit #6519: Pull request #3444 synchronize by artemagvanian
August 26, 2024 18:32 1m 3s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 26, 2024 18:32 1m 3s
Basic support for memory initialization checks for unions Cargo Audit #6518: Pull request #3444 synchronize by artemagvanian
August 26, 2024 17:47 1m 3s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 26, 2024 17:47 1m 3s
Basic support for memory initialization checks for unions Cargo Audit #6517: Pull request #3444 synchronize by artemagvanian
August 26, 2024 17:45 1m 4s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 26, 2024 17:45 1m 4s
Bump tests/perf/s2n-quic from 80b93a7 to 8f7c04b Cargo Audit #6516: Pull request #3460 opened by dependabot bot
August 26, 2024 16:31 1m 20s dependabot/submodules/tests/perf/s2n-quic-8f7c04b
dependabot/submodules/tests/perf/s2n-quic-8f7c04b
August 26, 2024 16:31 1m 20s
Bump tests/perf/s2n-quic from 80b93a7 to 8f7c04b Cargo Audit #6515: Commit 314876a pushed by dependabot bot
August 26, 2024 16:31 2m 43s dependabot/submodules/tests/perf/s2n-quic-8f7c04b
dependabot/submodules/tests/perf/s2n-quic-8f7c04b
August 26, 2024 16:31 2m 43s
Automatic cargo update to 2024-08-26 (#3459) Cargo Audit #6514: Commit 1f0b47f pushed by github-merge-queue bot
August 26, 2024 08:52 1m 1s main
main
August 26, 2024 08:52 1m 1s
Automatic cargo update to 2024-08-26 (#3459) Cargo Audit #6513: Commit 1f0b47f pushed by github-merge-queue bot
August 26, 2024 07:59 1m 20s gh-readonly-queue/main/pr-3459-7a2866754c34cf6e47bb5d431469a1716f17a980
gh-readonly-queue/main/pr-3459-7a2866754c34cf6e47bb5d431469a1716f17a980
August 26, 2024 07:59 1m 20s
Cargo Audit Cargo Audit #6512: Merge group checks requested
August 26, 2024 07:59 1m 13s
August 26, 2024 07:59 1m 13s
Automatic cargo update to 2024-08-26 Cargo Audit #6511: Pull request #3459 reopened by tautschnig
August 26, 2024 04:47 1m 14s cargo-update-2024-08-26
cargo-update-2024-08-26
August 26, 2024 04:47 1m 14s
Stacked Borrows in Kani Cargo Audit #6510: Pull request #3406 synchronize by jsalzbergedu
August 26, 2024 01:59 1m 15s jsalzbergedu:main
jsalzbergedu:main
August 26, 2024 01:59 1m 15s
Stacked Borrows in Kani Cargo Audit #6509: Pull request #3406 synchronize by jsalzbergedu
August 26, 2024 01:58 1m 6s jsalzbergedu:main
jsalzbergedu:main
August 26, 2024 01:58 1m 6s
Stacked Borrows in Kani Cargo Audit #6508: Pull request #3406 synchronize by jsalzbergedu
August 26, 2024 01:55 1m 2s jsalzbergedu:main
jsalzbergedu:main
August 26, 2024 01:55 1m 2s
Stacked Borrows in Kani Cargo Audit #6507: Pull request #3406 synchronize by jsalzbergedu
August 26, 2024 01:47 1m 39s jsalzbergedu:main
jsalzbergedu:main
August 26, 2024 01:47 1m 39s
Basic support for memory initialization checks for unions Cargo Audit #6506: Pull request #3444 synchronize by artemagvanian
August 24, 2024 23:34 1m 35s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 24, 2024 23:34 1m 35s
Basic support for memory initialization checks for unions Cargo Audit #6505: Pull request #3444 synchronize by artemagvanian
August 24, 2024 23:34 1m 44s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 24, 2024 23:34 1m 44s
Stacked Borrows in Kani Cargo Audit #6504: Pull request #3406 synchronize by jsalzbergedu
August 23, 2024 20:48 1m 0s jsalzbergedu:main
jsalzbergedu:main
August 23, 2024 20:48 1m 0s
RFC: Source-based code coverage Cargo Audit #6503: Pull request #3143 synchronize by adpaco-aws
August 23, 2024 20:39 1m 15s adpaco-aws:rfc-region-cov
adpaco-aws:rfc-region-cov
August 23, 2024 20:39 1m 15s
RFC: Source-based code coverage Cargo Audit #6502: Pull request #3143 synchronize by adpaco-aws
August 23, 2024 20:30 1m 7s adpaco-aws:rfc-region-cov
adpaco-aws:rfc-region-cov
August 23, 2024 20:30 1m 7s
Stacked Borrows in Kani Cargo Audit #6501: Pull request #3406 synchronize by jsalzbergedu
August 23, 2024 19:52 1m 17s jsalzbergedu:main
jsalzbergedu:main
August 23, 2024 19:52 1m 17s
Stacked Borrows in Kani Cargo Audit #6500: Pull request #3406 synchronize by jsalzbergedu
August 23, 2024 19:44 1m 0s jsalzbergedu:main
jsalzbergedu:main
August 23, 2024 19:44 1m 0s
Stacked Borrows in Kani Cargo Audit #6499: Pull request #3406 synchronize by jsalzbergedu
August 23, 2024 19:22 1m 5s jsalzbergedu:main
jsalzbergedu:main
August 23, 2024 19:22 1m 5s