Skip to content

Update GitHub Action for CodeQL#352

Merged
JoepdeJong merged 1 commit intomasterfrom codeql-updateOct 12, 2023

Commits

Commits on Oct 12, 2023