Changeset 7bf2ca in git for .github

Timestamp:

Jul 25, 2020, 9:47:27 PM (3 years ago)

Author:

Matthias Koeppe <mkoeppe@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

6532686e954ef40d32dbe791c76c9061aa51b2fd

Parents:

c425687d4319bfff1f57506e54db1561f43bd997

Message:

Cosmetics

File:

• .github/workflows/ci-sage.yml (modified) (1 diff)

.github/workflows/ci-sage.yml

@@ -160 +160 @@
       run: |
         C:\\tools\\cygwin\\bin\\bash -l -c 'export PATH=/usr/local/bin:/usr/bin && cd $(cygpath -u "$GITHUB_WORKSPACE") && ./configure $CONFIGURE_ARGS'
-    - name: make
+    - name: make $TARGETS
       run: |
         C:\\tools\\cygwin\\bin\\bash -l -x -c 'export PATH=/usr/local/bin:/usr/bin && cd $(cygpath -u "$GITHUB_WORKSPACE") && make -k -w V=0 base-toolchain && make -k -w V=1 $TARGETS'
-    - name: make
+    - name: make $TARGETS_OPTIONAL
       run: |
         C:\\tools\\cygwin\\bin\\bash -l -x -c 'export PATH=/usr/local/bin:/usr/bin && cd $(cygpath -u "$GITHUB_WORKSPACE") && make -k -w V=1 $TARGETS_OPTIONAL'