Skip to content
CodeQL

Remove outdated (and no longer used) command line option #308

Sign in to view logs

Remove outdated (and no longer used) command line option

Remove outdated (and no longer used) command line option #308

Triggered via push December 15, 2023 12:48
@mrotteveelmrotteveel
pushed 7be8c5a
master
Status Success
Total duration 3m 21s
Artifacts –

codeql.yml

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