From 7bc8f5208977bd346ae039b716261e8260550bab Mon Sep 17 00:00:00 2001
From: Pieter Bos <p.h.bos@utwente.nl>
Date: Sun, 7 Apr 2024 16:36:11 +0200
Subject: [PATCH] try 4: mill syntax fix

---
 .github/workflows/scalatest.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/scalatest.yml b/.github/workflows/scalatest.yml
index bc1812c294..826213d9d2 100644
--- 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: