Changeset f3d331 in git

Timestamp:

Jul 6, 2020, 9:02:18 PM (3 years ago)

Author:

Matthias Koeppe <mkoeppe@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

382481672433e59bb571a5be4c03e838c77b6868

Parents:

9abf8fc98172f72207da0a32c4341bbce37c1329

git-author:

Matthias Koeppe <mkoeppe@math.ucdavis.edu>2020-07-06 12:02:18-07:00

git-committer:

Matthias Koeppe <mkoeppe@math.ucdavis.edu>2020-07-06 12:04:59-07:00

Message:

.github/workflows/ci-sage.yml [cygwin]: Work around errors with tar -c --remove-files for the log artifact

File:

• .github/workflows/ci-sage.yml (modified) (1 diff)

.github/workflows/ci-sage.yml

@@ -168 +168 @@
       shell: bash
       run: |
-        mkdir -p "artifacts/$LOGS_ARTIFACT_NAME"; for a in local/var/tmp/sage/build/*; do if [ -d $a ]; then tar -c --remove-files -f "artifacts/$LOGS_ARTIFACT_NAME/$(basename $a).tar" $a; fi; done; cp -r logs/*  "artifacts/$LOGS_ARTIFACT_NAME"
+        mkdir -p "artifacts/$LOGS_ARTIFACT_NAME"; for a in local/var/tmp/sage/build/*; do if [ -d $a ]; then tar -c --remove-files -f "artifacts/$LOGS_ARTIFACT_NAME/$(basename $a).tar" $a || tar -c --ignore-failed-read -f "artifacts/$LOGS_ARTIFACT_NAME/$(basename $a)-save.tar" $a ; fi; done; cp -r logs/*  "artifacts/$LOGS_ARTIFACT_NAME"
       if: always()
     - uses: actions/upload-artifact@v2