Skip to content

Actions: model-checking/kani

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,737 workflow runs
2,737 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stacked Borrows in Kani Cargo Audit #6498: Pull request #3406 synchronize by jsalzbergedu
August 23, 2024 19:06 1m 15s jsalzbergedu:main
jsalzbergedu:main
August 23, 2024 19:06 1m 15s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6497: Pull request #3119 synchronize by adpaco-aws
August 23, 2024 17:18 1m 0s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 23, 2024 17:18 1m 0s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to `s… Cargo Audit #6496: Commit 7a28667 pushed by github-merge-queue bot
August 23, 2024 16:11 1m 15s main
main
August 23, 2024 16:11 1m 15s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6495: Pull request #3119 synchronize by adpaco-aws
August 23, 2024 16:01 1m 7s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 23, 2024 16:01 1m 7s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6494: Pull request #3119 synchronize by adpaco-aws
August 23, 2024 16:01 1m 17s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 23, 2024 16:01 1m 17s
Cargo Audit Cargo Audit #6493: Merge group checks requested
August 23, 2024 15:01 1m 40s
August 23, 2024 15:01 1m 40s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to `s… Cargo Audit #6492: Commit 7a28667 pushed by github-merge-queue bot
August 23, 2024 15:01 1m 16s gh-readonly-queue/main/pr-3448-56e2a2f21f36e1f2dea5113aa907b2db8748f635
gh-readonly-queue/main/pr-3448-56e2a2f21f36e1f2dea5113aa907b2db8748f635
August 23, 2024 15:01 1m 16s
RFC: Loop Contracts Cargo Audit #6491: Pull request #3167 synchronize by qinheping
August 23, 2024 07:21 1m 2s qinheping:rfc-loop-contracts
qinheping:rfc-loop-contracts
August 23, 2024 07:21 1m 2s
Stacked Borrows in Kani Cargo Audit #6490: Pull request #3406 synchronize by jsalzbergedu
August 23, 2024 03:10 1m 1s jsalzbergedu:main
jsalzbergedu:main
August 23, 2024 03:10 1m 1s
Stacked Borrows in Kani Cargo Audit #6489: Pull request #3406 synchronize by jsalzbergedu
August 23, 2024 02:33 1m 17s jsalzbergedu:main
jsalzbergedu:main
August 23, 2024 02:33 1m 17s
Basic support for memory initialization checks for unions Cargo Audit #6488: Pull request #3444 synchronize by artemagvanian
August 22, 2024 20:08 1m 22s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 20:08 1m 22s
Basic support for memory initialization checks for unions Cargo Audit #6487: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:57 1m 2s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:57 1m 2s
Basic support for memory initialization checks for unions Cargo Audit #6486: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:57 1m 1s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:57 1m 1s
Basic support for memory initialization checks for unions Cargo Audit #6485: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:26 1m 4s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:26 1m 4s
Re-enabled hierarchical logs in the compiler (#3449) Cargo Audit #6484: Commit 56e2a2f pushed by github-merge-queue bot
August 22, 2024 19:07 1m 14s main
main
August 22, 2024 19:07 1m 14s
Basic support for memory initialization checks for unions Cargo Audit #6483: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:04 1m 8s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:04 1m 8s
Extend name resolution to support qualified paths (Partial Fix) Cargo Audit #6482: Pull request #3457 synchronize by celinval
August 22, 2024 18:49 1m 5s celinval:issue-2524-stub-trait
celinval:issue-2524-stub-trait
August 22, 2024 18:49 1m 5s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str Cargo Audit #6481: Pull request #3448 synchronize by celinval
August 22, 2024 18:17 59s celinval:issue-3312-crash
celinval:issue-3312-crash
August 22, 2024 18:17 59s
Cargo Audit Cargo Audit #6480: Merge group checks requested
August 22, 2024 18:14 1m 6s
August 22, 2024 18:14 1m 6s
Re-enabled hierarchical logs in the compiler (#3449) Cargo Audit #6479: Commit 56e2a2f pushed by github-merge-queue bot
August 22, 2024 18:14 1m 11s gh-readonly-queue/main/pr-3449-0ed9a624244e666232e402bb4abdce864bae7f41
gh-readonly-queue/main/pr-3449-0ed9a624244e666232e402bb4abdce864bae7f41
August 22, 2024 18:14 1m 11s
Avoid corner-cases by grouping instrumentation into basic blocks and … Cargo Audit #6478: Commit 0ed9a62 pushed by github-merge-queue bot
August 22, 2024 17:22 1m 9s main
main
August 22, 2024 17:22 1m 9s
Cargo Audit Cargo Audit #6477: Merge group checks requested
August 22, 2024 16:38 1m 11s
August 22, 2024 16:38 1m 11s
Avoid corner-cases by grouping instrumentation into basic blocks and … Cargo Audit #6476: Commit 0ed9a62 pushed by github-merge-queue bot
August 22, 2024 16:38 1m 55s gh-readonly-queue/main/pr-3438-d2141e4c5f596833d25cc89c082beec6b6889bb0
gh-readonly-queue/main/pr-3438-d2141e4c5f596833d25cc89c082beec6b6889bb0
August 22, 2024 16:38 1m 55s
Adopt Rust's source-based code coverage instrumentation Cargo Audit #6475: Pull request #3119 synchronize by adpaco-aws
August 22, 2024 14:06 1m 1s adpaco-aws:region-cov-basic
adpaco-aws:region-cov-basic
August 22, 2024 14:06 1m 1s
Extra tests and bug fixes to the delayed UB instrumentation Cargo Audit #6474: Pull request #3419 synchronize by artemagvanian
August 22, 2024 13:36 1m 2s artemagvanian:delayed-ub-tests
artemagvanian:delayed-ub-tests
August 22, 2024 13:36 1m 2s