From b0d14d2bfa59d2443a6fa454d69d0ac7a63e69df Mon Sep 17 00:00:00 2001 From: Sebastian Oehms <47305845+soehms@users.noreply.github.com> Date: Wed, 9 Aug 2023 18:56:52 +0200 Subject: [PATCH] Drop header comment MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Julian Rüth --- .github/workflows/push_to_docker_hub.yml | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/.github/workflows/push_to_docker_hub.yml b/.github/workflows/push_to_docker_hub.yml index 9f29d41a451..af93972b61f 100644 --- a/.github/workflows/push_to_docker_hub.yml +++ b/.github/workflows/push_to_docker_hub.yml @@ -1,20 +1,3 @@ -# This workflow replaces $SAGE_ROOT/.gitlab-ci.yml which has been -# used formerly to make Docker images available on DockerHub. -# The new workflow uses the same $SAGE_ROOT/docker/Dockerfile and -# is based on docker/build-push-action@v4. -# -# A replacement has become neccessary because the GitLab runners -# stopped to create new images since release 9.7. -# -# Concerning the images placed in the sagemath-dev repository you -# should note the following difference to the releases build before -# 9.8: They are no longer build on target sagemath-dev since this -# causes a "No space left on device" error. Instead they are build -# on target make-build, now. The main difference is the missing -# documentation and that it enters in a bash shell. -# -# Sebastian Oehms, August 2023 - name: Build Docker images and push to DockerHub on: