temporarily disables tests

viperproject · Feb 9, 2024 · 76a6c13 · 76a6c13
1 parent 7d4c78e
commit 76a6c13
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -82,7 +82,12 @@ jobs:
           docker run \
             --mount type=volume,dst=/build/gobra/sync,volume-driver=local,volume-opt=type=none,volume-opt=o=bind,volume-opt=device=$PWD/sync \
             ${{ env.IMAGE_TAG }} \
-            /bin/sh -c "$(cat .github/test-and-measure-ram.sh)"
+            /bin/sh -c "echo 'Test'"
+          
+          # docker run \
+          #  --mount type=volume,dst=/build/gobra/sync,volume-driver=local,volume-opt=type=none,volume-opt=o=bind,volume-opt=device=$PWD/sync \
+          #  ${{ env.IMAGE_TAG }} \
+          #  /bin/sh -c "$(cat .github/test-and-measure-ram.sh)"
 
       - name: Get max RAM usage by Java and Z3
         if: ${{ always() }}