turn back full off

Signed-off-by: Lilith Oberhauser <lilith.oberhauser@huawei.com>
open-s4c · May 17, 2024 · 0955c37 · 0955c37
1 parent f176846
commit 0955c37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/actions.yml b/.github/workflows/actions.yml
@@ -33,7 +33,7 @@ jobs:
       - name: Check out repository code
         uses: actions/checkout@v4
       - name: Configure Verification
-        run: cmake -S. -Bbuild -DVSYNCER_CHECK=ON -DVSYNCER_CHECK_FULL=ON
+        run: cmake -S. -Bbuild -DVSYNCER_CHECK=ON -DVSYNCER_CHECK_FULL=OFF
       - name: Build Verification Clients for ${{ matrix.test-dir }}
         run: cmake --build build/${{ matrix.test-dir.p }}/${{ matrix.test-dir.c }}
       - name: Run Verification