Upload all generated files if build fails

coq-community · Sep 20, 2024 · 74b3048 · 74b3048
1 parent 52c8b0b
commit 74b3048
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -120,12 +120,16 @@ jobs:
       with:
         name: ${{ matrix.COQ_VERSION }}
         path: doc-build/${{ matrix.COQ_VERSION }}
-    - name: Upload PerformanceExperiments for debugging if job failed
+    - name: Aggregate generated files for debugging if job failed
+      if: ${{ failure() }}
+      run: |
+        git ls-files --others -z PerformanceExperiments/ src/ plots/ | xargs -0 tar -czvf generated-files.tar.gz
+    - name: Upload generated files for debugging if job failed
       if: ${{ failure() }}
       uses: actions/upload-artifact@v4
       with:
-        name: PerformanceExperiments-${{ matrix.COQ_VERSION }}
-        path: PerformanceExperiments/
+        name: generated-files-${{ matrix.COQ_VERSION }}
+        path: generated-files.tar.gz
 
   check-all:
     runs-on: ubuntu-latest