Add PR check to ensure everything is autoformatted.

Author: Max Schaefer

.github/workflows/codeqltest.yml

@@ -33,6 +33,9 @@ jobs:
     - name: Build
       run: env PATH=$PATH:$HOME/codeql make
 
+    - name: Check that all QL code is autoformatted
+      run: env PATH=$PATH:$HOME/codeql make AUTOFORMAT=--check-only autoformat
+
     - name: Test
       run: env PATH=$PATH:$HOME/codeql make test