test: test against wacc-examples repo

.gitlab-ci.yml

@@ -12,7 +12,7 @@ check_format:
   before_script:
     - cs install scalafmt
   script:
-    - scalafmt --check . || echo "Run 'scala format' to fix formatting issues."
+    - scalafmt --check .
 
 check_commits:
   stage: check
@@ -37,6 +37,12 @@ compile_jvm:
 
 test_jvm:
   stage: test
-  needs: [ compile_jvm ]
+  # Use our own runner (not cloud VM or shared) to ensure we have multiple cores.
+  tags: [ large ]
+  # This is expensive, so do use `dependencies` instead of `needs` to
+  # ensure all previous stages pass.
+  dependencies: [ compile_jvm ]
+  before_script:
+    - git clone https://$EXAMPLES_AUTH@gitlab.doc.ic.ac.uk/lab2425_spring/wacc-examples.git
   script:
     - scala test --platform jvm .