Add dependabot.yml and update Maven workflow.

.github/dependabot.yml

@@ -0,0 +1,6 @@
+version: 2
+updates:
+  - package-ecosystem: "maven"
+    directory: "/"
+    schedule:
+      interval: "weekly"

.github/workflows/maven.yml

@@ -27,7 +27,7 @@ jobs:
       uses: pavpanchekha/setup-z3@v1.3
       with:
         version: '4.12.2'
-    - name: Set up JDK 11
+    - name: Set up JDK 21
       uses: actions/setup-java@v3
       with:
         java-version: '21'
@@ -36,6 +36,3 @@ jobs:
     - name: Verify with Maven (includes building)
       run: mvn -B verify --file pom.xml
 
-    # Optional: Uploads the full dependency graph to GitHub to improve the quality of Dependabot alerts this repository can receive
-    # - name: Update dependency graph
-    #   uses: advanced-security/maven-dependency-submission-action@571e99aab1055c2e71a1e2309b9691de18d6b7d6

.github/workflows/submit-deps.yml

@@ -0,0 +1,23 @@
+# Uploads the full dependency graph to GitHub to improve the quality of Dependabot alerts this repository can receive
+
+name: Submit Maven Dependencies
+
+on:
+  push:
+    branches: ["master"]
+
+permissions:
+  contents: write
+
+jobs:
+  submit-maven-deps:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions/setup-java@v3
+        with:
+          java-version: '21'
+          distribution: 'temurin'
+      - name: Submit Maven dependency graph
+        uses: advanced-security/maven-dependency-submission-action@v5