Skip to content

Merge pull request #19137 from github/redsun82/rust-renames #9642

Merge pull request #19137 from github/redsun82/rust-renames

Merge pull request #19137 from github/redsun82/rust-renames #9642

Triggered via push March 31, 2025 12:03
Status Success
Total duration 1m 1s
Artifacts 1

query-list.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
code-scanning-query-list Expired
75.9 KB
sha256:35bb57ac749f972bff5c7926edfb9b51e0ddb7f44d64cb52ccac001c1ffbe114