Upload result file regardless of task failure (#662)

We need results from failed jobs. https://stackoverflow.com/questions/58858429/how-to-run-a-github-actions-step-even-if-the-previous-step-fails-while-still-f
na4zagin3 · Oct 1, 2023 · be11ed5 · be11ed5
1 parent 6ea139a
commit be11ed5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -178,6 +178,7 @@ jobs:
           fi
 
       - uses: actions/upload-artifact@v2
+        if: success() || failure()
         with:
           name: "pr-snapshot-${{ matrix.snapshot }}-${{ matrix.ocaml-version }}-${{ matrix.os }}"
           path: pr/