Changes between Version 16 and Version 17 of Ticket #29146
- Timestamp:
- Apr 25, 2020, 6:16:56 PM (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #29146 – Description
v16 v17 7 7 - cache Docker images with system packages installed ... https://github.com/marketplace/actions/build-docker-images-using-cache 8 8 - define shell quoting in files like `debian.txt`, handle options correctly when installing packages one by one 9 - Hints after ./configure: maybe sort and remove duplicates (https://groups.google.com/d/msg/sage-devel/EWTVN-Fmc8w/y9933Zo1AQAJ)10 9 11 10 tox.ini: … … 27 26 - #29363 - At the end of `configure`, indicate which optional/experimental packages are configured to be installed 28 27 - #29372 - At the end of `configure`, show installation hints for disabled optional packages separately 28 - Hints after ./configure: maybe sort and remove duplicates (https://groups.google.com/d/msg/sage-devel/EWTVN-Fmc8w/y9933Zo1AQAJ)