Skip to content

Unnecessary profiles; use -Dtarget.name instead #504

Unnecessary profiles; use -Dtarget.name instead

Unnecessary profiles; use -Dtarget.name instead #504

Triggered via pull request November 14, 2023 15:43
@sebbASFsebbASF
synchronize #263
profiletidy
Status Success
Total duration 2m 7s
Artifacts

codeql-analysis.yml

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