validate mvn, cache deps

KeYProject · Dec 9, 2023 · f6138c0 · f6138c0
1 parent f76997a
commit f6138c0
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -0,0 +1,6 @@
+version: 2
+updates:
+  - package-ecosystem: "maven" 
+    directory: "/"
+    schedule:
+      interval: "weekly"
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
@@ -21,7 +21,7 @@ jobs:
         cache: maven
 
     - name: Build with Maven
-      run: mvn -B verify --file pom.xml
+      run: mvn -B validate --file pom.xml
 
 #    - name: Update dependency graph
 #      uses: advanced-security/maven-dependency-submission-action@571e99aab1055c2e71a1e2309b9691de18d6b7d6