Changes between Version 16 and Version 17 of Ticket #29146


Ignore:
Timestamp:
Apr 25, 2020, 6:16:56 PM (3 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #29146 – Description

    v16 v17  
    77- cache Docker images with system packages installed ... https://github.com/marketplace/actions/build-docker-images-using-cache
    88- 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)
    109
    1110tox.ini:
    … …  
    2726- #29363 - At the end of `configure`, indicate which optional/experimental packages are configured to be installed
    2827- #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)