Changes between Version 10 and Version 11 of Ticket #29146
- Timestamp:
- Mar 29, 2020, 4:08:44 AM (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #29146 – Description
v10 v11 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) 9 10 10 11 tox.ini: