Update codeql filename in grading script

timja · web-flow · commit c20f5ea4a02e · 2023-02-28T11:43:06.000Z
diff --git a/.github/workflows/grading.yml b/.github/workflows/grading.yml
@@ -2,7 +2,7 @@ name: Grading workflow
 on:
   push:
     paths:
-      - .github/workflows/codeql-analysis.yml
+      - .github/workflows/codeql.yml
   workflow_dispatch:
 
 jobs:
