Skip to content
  • Georges Racinet's avatar
    CI/CD: script to build/push main Docker image, used for amd64 only · 6f840fccb7d9
    Georges Racinet authored
    This is supposed to be equivalent to ci/release_docker_images,
    hence able to produce and push multi-platforms images, with the
    difference that it is currently only for the main image and much more
    maintainable.
    
    Perhaps we'll want to make a single script being able to handle also
    the case of the helper image, but in that case it will have clear
    options to make one, the other or both to avoid painful delays on
    low bandwidth connections because just one failed.
    6f840fccb7d9