Merge pull request #18656 from hvitved/rust/record-destruct-shorthand · github/codeql@f114053

Triggered via push February 4, 2025 14:25

hvitved

main

Status Success

Total duration 1m 16s

Artifacts 1

query-list.yml

on: push

Produced during runtime

Name	Size	Digest
code-scanning-query-list Expired	69.9 KB	`sha256:2198dfa427749b837a75499342f885504dc5a28efcb96b7d3213a12f21b7b98c`