Changes between Version 23 and Version 24 of Ticket #29146


Ignore:
Timestamp:
Apr 28, 2020, 5:26:31 PM (3 years ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #29146 – Description

    v23 v24  
    1717- Make obtaining image from container of failing builds more robust: Use LABEL commands in dockerfiles, use `docker ps --filter label=.... ` to look up the container (https://docs.docker.com/engine/reference/commandline/ps/)
    1818- setenv/passenv SAGE_SERVER
     19- Remove TARGETS_PRE/TARGETS distinction: Instead exit from make with a distinctive error code to trigger the ADD of src/
    1920
    2021Improvements to `tox local`: