Skip to content

Use core.group instead for more strict grouping #2225

Use core.group instead for more strict grouping

Use core.group instead for more strict grouping #2225

Triggered via pull request November 4, 2023 13:26
Status Success
Total duration 1m 3s
Artifacts

codeql.yml

on: pull_request
CodeQL Build
55s
CodeQL Build
Fit to window
Zoom out
Zoom in