MonetDB: default - merges second head

[stefanos mavros via checkin-list]

Changeset: 339fc301fd75 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/339fc301fd75
Branch: default
Log Message:

merges second head


diffs (16 lines):

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -102,11 +102,9 @@ jobs:
         if: runner.os == 'Windows'
 
       - name: ctest 
-        env:
-          CTEST: ${{ runner.os == 'Windows' && 'RUN_TESTS' || 'test' }}
         run: |
           cd build 
-          cmake --build . --target ${{ CTEST }}
+          cmake --build . --target ${{ runner.os == 'Windows' && 'RUN_TESTS' 
|| 'test' }}
 
       - name: mtest 
         run: |
_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org