chore: revert "CI: give Linux Debug unlimited test stack size" (#6001)

#5967 was the correct fix Reverts #5953
leanprover · Nov 7, 2024 · 1b806c5 · 1b806c5
1 parent 9b18262
commit 1b806c5
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -415,10 +415,6 @@ jobs:
       - name: Test
         id: test
         run: |
-          # give Linux debug unlimited stack, we're not interested in its specific stack usage
-          if [[ '${{ matrix.name }}' == 'Linux Debug' ]]; then
-            ulimit -s unlimited
-          fi
           time ctest --preset ${{ matrix.CMAKE_PRESET || 'release' }} --test-dir build/stage1 -j$NPROC --output-junit test-results.xml ${{ matrix.CTEST_OPTIONS }}
         if: (matrix.wasm || !matrix.cross) && needs.configure.outputs.check-level >= 1
       - name: Test Summary