Skip to content

Rename the codeql analysis actions file, because GitHub GUI tells you so#160

Merged
JasperCraeghs merged 1 commit intomasterfrom codeql_file_renameNov 28, 2024