Run tests (#9)

runtimeverification · Mar 5, 2024 · 5198600 · 5198600
1 parent 6ed69f7
commit 5198600
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -7,8 +7,8 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-  format-check:
-    name: 'Check code formatting'
+  tests:
+    name: 'Run tests'
     runs-on: ubuntu-latest
     steps:
       - name: 'Check out code'
@@ -22,5 +22,9 @@ jobs:
           java-version: 17
       - name: 'Install Maven'
         run: sudo apt-get update && sudo apt-get install --yes maven
+
       - name: 'Check code is formatted correctly'
         run: mvn spotless:check --batch-mode -U
+
+      - name: 'Run tests'
+        run: mvn verify --batch-mode -U