Archive failed runs on the same server

This commit is contained in:
Eren Dogan 2023-01-28 15:44:40 -08:00
parent 30e085ccc2
commit a43ecee5b1
1 changed files with 5 additions and 4 deletions

View File

@ -37,7 +37,8 @@ jobs:
make -k -j 48 make -k -j 48
- name: Archive - name: Archive
if: ${{ failure() }} if: ${{ failure() }}
uses: actions/upload-artifact@v2 run: |
with: export ARCHIVE_DIR="/tmp/github_runner_fail_${{ github.run_id }}_${{ github.run_attempt }}"
name: Regress Archives mkdir -p $ARCHIVE_DIR
path: ${{ github.workspace }}/compiler/tests/results/* cp -r ${{ github.workspace }}/compiler/tests/results/* $ARCHIVE_DIR
echo "Files of this run are located in $ARCHIVE_DIR"