CI debug

Author: rdzman

.github/workflows/continuous-integration.yml

@@ -116,7 +116,9 @@ jobs:
     - name: Include MP-Core?
       run: |
         export HAVE_MP_CORE=`$ML_CMD "fprintf('%d', have_feature('mp_core'))"`
+        echo "HAVE_MP_CORE=${HAVE_MP_CORE}"
         export INCLUDE_MP_CORE=${HAVE_MP_CORE: -1}
+        echo "INCLUDE_MP_CORE=${INCLUDE_MP_CORE}"
         echo "INCLUDE_MP_CORE=${INCLUDE_MP_CORE}" >> $GITHUB_ENV
 
     - name: Test GLPK availability, print version number