Run dumptests multiple times

secs-dev · Nov 9, 2024 · d8a8638 · d8a8638
1 parent f72b40d
commit d8a8638
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/.github/workflows/UserTests.yml b/.github/workflows/UserTests.yml
@@ -25,8 +25,14 @@ jobs:
 
       - name: Test Lab 1
         if: ${{ github.head_ref == 'lab-1' }}
-        run: sh ./ci/test/run.sh dumptests dump2tests usertests
-
+        run: |
+          sh ./ci/test/run.sh \
+            dumptests dumptests \
+            dump2tests dump2tests \
+            usertests \
+            dumptests dumptests \
+            dump2tests dump2tests
+
       - name: Test Lab 2
         if: ${{ github.head_ref == 'lab-2' }}
         run: sh ./ci/test/run.sh alloctest usertests