diff --git a/.github/workflows/linux-mit-interop.yml b/.github/workflows/linux-mit-interop.yml index a6441d79b..769d80a40 100644 --- a/.github/workflows/linux-mit-interop.yml +++ b/.github/workflows/linux-mit-interop.yml @@ -67,6 +67,7 @@ jobs: MAKEVARS: ${{ matrix.makevars }} run: | cd build + sudo sysctl kernel.core_pattern=core.%p || true ulimit -c unlimited make check - name: Make Install diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 99c9195db..6e8761197 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -96,6 +96,7 @@ jobs: MAKEVARS: ${{ matrix.makevars }} run: | cd build + sudo sysctl kernel.core_pattern=core.%p || true ulimit -c unlimited make check - name: Make Install diff --git a/.github/workflows/valgrind.yml b/.github/workflows/valgrind.yml index be8f64be7..be933e055 100644 --- a/.github/workflows/valgrind.yml +++ b/.github/workflows/valgrind.yml @@ -51,6 +51,7 @@ jobs: MAKEVARS: ${{ matrix.makevars }} run: | cd build + sudo sysctl kernel.core_pattern=core.%p || true ulimit -c unlimited make check-valgrind - name: Valgrind output