Changeset 662704 in git


Ignore:
Timestamp:
Jul 24, 2020, 8:30:15 PM (4 years ago)
Author:
Matthias Koeppe <mkoeppe@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
Children:
1a09660d4a8ba05bbd46b68c1505be1c4e1e9706
Parents:
bbca147a75f2970f26d6a685d127e8cd03998929
git-author:
Matthias Koeppe <mkoeppe@math.ucdavis.edu>2020-07-24 11:30:15-07:00
git-committer:
Matthias Koeppe <mkoeppe@math.ucdavis.edu>2020-07-24 11:33:02-07:00
Message:
.github/workflows/ci-sage.yml: Workaround for broken make_tar.sh
File:
1 edited

Legend:

Unmodified
Added
Removed
  • .github/workflows/ci-sage.yml

    rbbca14 r662704  
    7575          sudo DEBIAN_FRONTEND=noninteractive apt-get install $DIST_PREREQ
    7676      - name: Run make dist, prepare upstream artifact
    77         run: |
    78           (cd build/pkgs/${{ env.SPKG }}/src && bash ./make_tar.sh) \
     77        # make dist broken, make_tar.sh broken - https://github.com/Singular/Singular/issues/1016
     78        run: |
     79          (cd build/pkgs/${{ env.SPKG }}/src && (./make_tar.sh || tar cfz singular-tar-so-far.tar.gz singular-4.* ) ) \
    7980          && mkdir -p upstream && cp build/pkgs/${{ env.SPKG }}/src/*.tar.gz upstream/${{ env.SPKG }}-git.tar.gz \
    8081          && echo "sage-package create ${{ env.SPKG }} --version git --tarball ${{ env.SPKG }}-git.tar.gz --type=optional" > upstream/update-pkgs.sh \
Note: See TracChangeset for help on using the changeset viewer.