Updated github workflow

INTO-CPS-Association · Dec 14, 2023 · b213013 · b213013
1 parent 6bbf61d
commit b213013
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/scala.yml b/.github/workflows/scala.yml
@@ -16,4 +16,4 @@ jobs:
     - name: Pull image
       run: docker pull simonthrane/uppaal_image:latest
     - name: Build and Test
-      run:  docker run --rm -v $(pwd):/root simonthrane/uppaal_image /bin/bash -c 'cd /root && mvm test'
+      run:  docker run --rm -v $(pwd):/root simonthrane/uppaal_image /bin/bash -c 'cd /root && mvn test'