Changeset 3824816 in git for .github


Ignore:
Timestamp:
Jul 6, 2020, 9:08:48 PM (4 years ago)
Author:
Matthias Koeppe <mkoeppe@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
ee5b4806efcb9d42de48ff37912bef041d4e0aff
Parents:
f3d331d7beea362d318f36be1106f0d20131a8f8
Message:
.github/workflows/ci-sage.yml: Add libcdd-dev to DIST_PREREQ
File:
1 edited

Legend:

Unmodified
Added
Removed

  • .github/workflows/ci-sage.yml

    rf3d331 r3824816  
    4646env:
    4747  # Ubuntu packages to install so that the project's "make dist" can succeed
    48   DIST_PREREQ: tar
     48  DIST_PREREQ: libcdd-dev
    4949  # Name of this project in the Sage distribution
    5050  SPKG:        singular
Note: See TracChangeset for help on using the changeset viewer.