CodeQL

Remove scope info, always add scope labels #823

Sign in to view logs

Triggered via pull request June 6, 2025 14:59

zeitlinger

opened #7398

zeitlinger:remove-scope-info

Status Success

Total duration 8m 10s

Artifacts –

codeql.yml

on: pull_request

Annotations

1 warning

`tools: latest` has been renamed to `tools: linked`, but the old name is still supported. No action is required.