Skip to content

Unnecessary profiles; use -Dtarget.name instead #445

Unnecessary profiles; use -Dtarget.name instead

Unnecessary profiles; use -Dtarget.name instead #445

Triggered via pull request October 28, 2023 22:54
Status Success
Total duration 2m 22s
Artifacts

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in