diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
index 548fb4d8..8b9bbf38 100644
--- a/.github/workflows/continuous-integration.yml
+++ b/.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