Skip to content

Actions: model-checking/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,820 workflow runs
2,820 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add loop scanner to tool-scanner Cargo Audit #6423: Pull request #3443 synchronize by qinheping
August 17, 2024 01:22 1m 44s qinheping:features/loop-scanner
qinheping:features/loop-scanner
August 17, 2024 01:22 1m 44s
Avoid corner-cases by grouping instrumentation into basic blocks and using backward iteration Cargo Audit #6422: Pull request #3438 synchronize by artemagvanian
August 16, 2024 21:00 1m 4s artemagvanian:group-uninit-instrumentation
artemagvanian:group-uninit-instrumentation
August 16, 2024 21:00 1m 4s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6421: Pull request #3119 synchronize by adpaco-aws
August 16, 2024 20:25 1m 2s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 16, 2024 20:25 1m 2s
Avoid corner-cases by grouping instrumentation into basic blocks and using backward iteration Cargo Audit #6420: Pull request #3438 synchronize by artemagvanian
August 16, 2024 20:16 1m 0s artemagvanian:group-uninit-instrumentation
artemagvanian:group-uninit-instrumentation
August 16, 2024 20:16 1m 0s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6419: Pull request #3119 synchronize by adpaco-aws
August 16, 2024 18:57 1m 6s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 16, 2024 18:57 1m 6s
Basic support for memory initialization checks for unions Cargo Audit #6418: Pull request #3444 synchronize by artemagvanian
August 16, 2024 18:45 1m 6s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 16, 2024 18:45 1m 6s
Basic support for memory initialization checks for unions Cargo Audit #6417: Pull request #3444 synchronize by artemagvanian
August 16, 2024 16:08 1m 2s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 16, 2024 16:08 1m 2s
Avoid corner-cases by grouping instrumentation into basic blocks and using backward iteration Cargo Audit #6416: Pull request #3438 synchronize by artemagvanian
August 16, 2024 15:55 1m 2s artemagvanian:group-uninit-instrumentation
artemagvanian:group-uninit-instrumentation
August 16, 2024 15:55 1m 2s
Extra tests and bug fixes to the delayed UB instrumentation Cargo Audit #6415: Pull request #3419 synchronize by artemagvanian
August 16, 2024 15:41 1m 13s artemagvanian:delayed-ub-tests
artemagvanian:delayed-ub-tests
August 16, 2024 15:41 1m 13s
Add loop scanner to tool-scanner Cargo Audit #6414: Pull request #3443 opened by qinheping
August 16, 2024 06:58 1m 29s qinheping:features/loop-scanner
qinheping:features/loop-scanner
August 16, 2024 06:58 1m 29s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6413: Pull request #3119 synchronize by adpaco-aws
August 15, 2024 20:19 1m 4s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 15, 2024 20:19 1m 4s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6412: Pull request #3119 synchronize by adpaco-aws
August 15, 2024 20:06 1m 10s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 15, 2024 20:06 1m 10s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6411: Pull request #3119 synchronize by adpaco-aws
August 15, 2024 18:45 1m 5s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 15, 2024 18:45 1m 5s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6410: Pull request #3119 synchronize by adpaco-aws
August 15, 2024 18:39 1m 0s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 15, 2024 18:39 1m 0s
Implement memory initialization state copy functionality (#3350) Cargo Audit #6409: Commit e6f8a62 pushed by github-merge-queue bot
August 15, 2024 18:18 1m 1s main
main
August 15, 2024 18:18 1m 1s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6408: Pull request #3119 synchronize by adpaco-aws
August 15, 2024 18:02 1m 0s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 15, 2024 18:02 1m 0s
Cargo Audit Cargo Audit #6407: Merge group checks requested
August 15, 2024 17:31 2m 47s
August 15, 2024 17:31 2m 47s
Implement memory initialization state copy functionality (#3350) Cargo Audit #6406: Commit e6f8a62 pushed by github-merge-queue bot
August 15, 2024 17:31 2m 46s gh-readonly-queue/main/pr-3350-f27a5ed1426c705ec6faa181f080579b90983436
gh-readonly-queue/main/pr-3350-f27a5ed1426c705ec6faa181f080579b90983436
August 15, 2024 17:31 2m 46s
Avoid corner-cases by grouping instrumentation into basic blocks and using backward iteration Cargo Audit #6405: Pull request #3438 synchronize by artemagvanian
August 15, 2024 16:55 1m 26s artemagvanian:group-uninit-instrumentation
artemagvanian:group-uninit-instrumentation
August 15, 2024 16:55 1m 26s
Extra tests and bug fixes to the delayed UB instrumentation Cargo Audit #6404: Pull request #3419 synchronize by artemagvanian
August 15, 2024 16:47 1m 19s artemagvanian:delayed-ub-tests
artemagvanian:delayed-ub-tests
August 15, 2024 16:47 1m 19s
Implement memory initialization state copy functionality Cargo Audit #6403: Pull request #3350 synchronize by artemagvanian
August 15, 2024 16:46 1m 6s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
August 15, 2024 16:46 1m 6s
Implement memory initialization state copy functionality Cargo Audit #6402: Pull request #3350 synchronize by artemagvanian
August 15, 2024 16:43 1m 20s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
August 15, 2024 16:43 1m 20s
Implement memory initialization state copy functionality Cargo Audit #6401: Pull request #3350 synchronize by artemagvanian
August 15, 2024 16:41 2m 13s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
August 15, 2024 16:41 2m 13s
Implement memory initialization state copy functionality Cargo Audit #6400: Pull request #3350 synchronize by artemagvanian
August 15, 2024 16:38 3m 44s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
August 15, 2024 16:38 3m 44s
Implement memory initialization state copy functionality Cargo Audit #6399: Pull request #3350 synchronize by artemagvanian
August 15, 2024 15:41 1m 26s artemagvanian:reset-mem-init
artemagvanian:reset-mem-init
August 15, 2024 15:41 1m 26s