Changeset 9abf8f in git for .github

Timestamp:

Jul 6, 2020, 8:57:04 PM (3 years ago)

Author:

Matthias Koeppe <mkoeppe@…>

Branches:

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

Children:

f3d331d7beea362d318f36be1106f0d20131a8f8

Parents:

a72a30707eed6dc02bac70ba654d51b535fef2d0

Message:

.github/workflows/ci-sage.yml [cygwin]: Actually handle TARGETS_OPTIONAL

File:

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

.github/workflows/ci-sage.yml

@@ -162 +162 @@
       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
+      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'
     - name: Prepare logs artifact
       shell: bash