Merge pull request #902 from github/robertbrignull/delete_old_workflow

Remove old unused workflow
github · Oct 30, 2023 · a5338b1 · a5338b1
2 parents 00dcdc8 + b68200b
commit a5338b1
Showing 1 changed file with 0 additions and 245 deletions.
diff --git a/.github/workflows/codeql-query.yml b/.github/workflows/codeql-query.yml