Merge pull request #20173 from hvitved/rust/type-mention-remove-restr… · github/codeql@1f15fc8

Triggered via push August 6, 2025 08:13

hvitved

main

Status Success

Total duration 1m 10s

Artifacts 1

query-list.yml

on: push

Produced during runtime

Name	Size	Digest
code-scanning-query-list Expired	90.2 KB	`sha256:d14a984eb2188c97244f773ffeea1e6bc5df08eeb5e956566140bb7d724be276`