diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index ec0544384..38204bc73 100644 --- 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() }}