more CI workflow tinkering

.github/workflows/codeql.yml

@@ -76,6 +76,10 @@ jobs:
         sudo apt-get -qq update
         sudo apt-get -y install --fix-missing autopoint gobjc gtk+2.0 gtk+3.0 libxpm-dev ruby
 
+    - name: Autobuild
+      if: matrix.language == 'java-kotlin'
+      uses: github/codeql-action/autobuild@v3
+
     - name: Build (as much as possible)
       if: matrix.language == 'c-cpp'
       run: |
@@ -119,6 +123,16 @@ jobs:
           fi; \
         done
 
+    - name: Extra coverage build (Java)
+      if: matrix.language == 'java-kotlin' && success()
+      run: |
+        # shellcheck disable=SC2044
+        for javafile in $(find . -name '*.java' -type f); do \
+          sync && echo "One last attempt at compiling ${javafile}..."; \
+          javac "${javafile}" || stat "${javafile}"; \
+        done
+        if test -n "${javafile}"; then unset javafile; fi
+
     - name: Clang static analysis
       if: matrix.language == 'c-cpp' && success()
       run: |
@@ -163,7 +177,10 @@ jobs:
           ruby -cwv ./*.rb || ruby -c ./*.rb || ls ./*.rb || which ruby; \
         elif test "${{ matrix.language }}" = "c-cpp" && test -e GNUmakefile && test -e maint.mk && test -x "$(which nproc)" && test -n "$(nproc)" && test "$(nproc)" -gt 1; then \
           make -j"$(nproc)" syntax-check V=0 || ls .sc-start-sc_* || stat GNUmakefile || stat maint.mk; \
+        else \
+          echo "no special syntax checking stuff for ${{ matrix.language }} (yet)"; \
         fi
+
     - name: Perform CodeQL Analysis
       uses: github/codeql-action/analyze@v3
       with:

.github/workflows/emacs-apple.yml

@@ -6,7 +6,7 @@ on:
   pull_request:
 jobs:
   test:
-    runs-on: macos-latest
+    runs-on: macos-13
     steps:
     - name: checkout
       uses: actions/checkout@v4