ci: add PR trigger to compat-17 and fix deploy runner consistency

Add pull_request trigger to Java 17 compatibility check so breakages
are caught before merge. Use ubuntu-24.04-arm for deploy job to match
all other workflows.

Author: osiegmar

.github/workflows/compat-17.yml

@@ -5,6 +5,10 @@ on:
     paths-ignore:
       - '**/*.md'
       - 'docs/**'
+  pull_request:
+    paths-ignore:
+      - '**/*.md'
+      - 'docs/**'
 
 jobs:
   build:

.github/workflows/deploy.yml

@@ -24,7 +24,7 @@ jobs:
 
   deploy:
     needs: build
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04-arm
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}