Merge pull request #1428 from chatton/fix-code-ql-and-check-docs-gh-a…

…ctions

.github/workflows/check-docs.yml

@@ -3,7 +3,7 @@ name: Check docs build
 # This will check if the docs build successfully by running `npm run build`
 on:
   pull_request:
-  paths:
+    paths:
       - './docs'
 
 jobs:

.github/workflows/codeql-analysis.yml

@@ -39,7 +39,7 @@ jobs:
 
     steps:
     - name: Checkout repository
-    - uses: actions/checkout@v3
+      uses: actions/checkout@v3
     - uses: technote-space/get-diff-action@v6.0.1
       with:
         PATTERNS: |
@@ -57,22 +57,8 @@ jobs:
         # Prefix the list here with "+" to use these queries and those in the config file.
         # queries: ./path/to/local/query, your-org/your-repo/queries@main
       if: env.GIT_DIFF
-    # Autobuild attempts to build any compiled languages  (C/C++, C#, or Java).
-    # If this step fails, then you should remove it and run the build manually (see below)
 
-    - name: Autobuild
-      uses: github/codeql-action/autobuild@v2
-
-    # ℹ️ Command-line programs to run using the OS shell.
-    # 📚 https://git.io/JvXDl
-
-    # ✏️ If the Autobuild fails above, remove it and uncomment the following three lines
-    #    and modify them (or add more) to build your code if your project
-    #    uses a compiled language
-
-    #- run: |
-    #   make bootstrap
-    #   make release
+    - run: make build
 
     - name: Perform CodeQL Analysis
       uses: github/codeql-action/analyze@v2