Changeset 1a0966 in git for .github/workflows

Timestamp:

Jul 24, 2020, 9:27:06 PM (4 years ago)

Author:

Matthias Koeppe <mkoeppe@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

46e4f42823d5801c64d87a8fc9cfa9102dbaf74d

Parents:

662704d6238aefb332b84b140c56540960cb7754

Message:

.github/workflows/ci-sage.yml: Cosmetic changes

File:

• .github/workflows/ci-sage.yml (modified) (2 diffs)

.github/workflows/ci-sage.yml

@@ -239 +239 @@
         run: |
           (export PATH=$(pwd)/build/bin:$PATH; (cd upstream && bash -x update-pkgs.sh) && sed -i.bak '/upstream/d' .dockerignore && echo "/:toolchain:/i ADD upstream upstream" | sed -i.bak -f - build/bin/write-dockerfile.sh && git diff)
-      - run: |
+      - name: Configure and build Sage distribution within a Docker container
+        run: |
           set -o pipefail; EXTRA_DOCKER_BUILD_ARGS="--build-arg USE_MAKEFLAGS=\"-k V=0 SAGE_NUM_THREADS=3\"" tox -e $TOX_ENV -- $TARGETS 2>&1 | sed "/^configure: notice:/s|^|::warning file=artifacts/$LOGS_ARTIFACT_NAME/config.log::|;/^configure: warning:/s|^|::warning file=artifacts/$LOGS_ARTIFACT_NAME/config.log::|;/^configure: error:/s|^|::error file=artifacts/$LOGS_ARTIFACT_NAME/config.log::|;"
-      - name: Copy logs from the docker image or build container
+      - name: Copy logs from the Docker image or build container
         run: |
           mkdir -p "artifacts/$LOGS_ARTIFACT_NAME"
@@ -258 +259 @@
           .github/workflows/scan-logs.sh "artifacts/$LOGS_ARTIFACT_NAME"
         if: always()
-      - name: Push docker images
+      - name: Push Docker images
         run: |
           if [ -f .tox/$TOX_ENV/Dockertags ]; then