Changes between Version 10 and Version 11 of Ticket #29146


Ignore:
Timestamp:
Mar 29, 2020, 4:08:44 AM (3 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29146 – Description

    v10 v11  
    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)
    910
    1011tox.ini: