diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 6276e52..66e4c0b 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -246,12 +246,12 @@ jobs: -link-opt -L/usr/local/lib \ -link-opt -static - - name: Coredump - if: false + - name: Debug + if: failure() uses: actions/upload-artifact@v3 with: - name: coredump-${{ matrix.arch.name }}-${{ matrix.libc }} - path: mlton/regression/real-basic + name: debug-${{ matrix.arch.name }}-${{ matrix.libc }} + path: mlton/mlton-compile* - name: Package if: ${{ !cancelled() }}