Changes between Version 38 and Version 40 of Ticket #29146


Ignore:
Timestamp:
Mar 28, 2021, 5:06:05 AM (23 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29146

    • Property Milestone changed from sage-9.3 to sage-9.4
  • Ticket #29146 – Description

    v38 v40  
    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/
     19- Remove `TARGETS_PRE`/`TARGETS` distinction: Instead exit from make with a distinctive error code to trigger the ADD of src/; for example, add `sagelib` dependency on `$(SAGE_SRC)/sage`, and add the rule to Makefile:
     20{{{
     21$(SAGE_SRC)/sage:
     22        exit 76
     23}}}
    2024
    2125Improvements to `tox local`: