try 4: mill syntax fix

utwente-fmt · Apr 7, 2024 · 7bc8f52 · 7bc8f52
1 parent 7b6f052
commit 7bc8f52
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/scalatest.yml b/.github/workflows/scalatest.yml
@@ -35,7 +35,7 @@ jobs:
       - name: Enable VCLLVM compilation
         run: touch .include-vcllvm
       - name: Compile
-        run: ./mill -j 0 vercors.allTests.assembly vercors.vcllvm.compile
+        run: ./mill -j 0 vercors.allTests.assembly + vercors.vcllvm.compile
       - name: Upload VerCors
         uses: actions/upload-artifact@v3
         with: