diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml
index 25d524c64..321d90069 100644
--- a/.github/workflows/user_project_ci.yml
+++ b/.github/workflows/user_project_ci.yml
@@ -28,6 +28,7 @@ jobs:
           echo "TIMING_ROOT=$GITHUB_WORKSPACE/timing-scripts" >> $GITHUB_ENV
           echo "PRECHECK_ROOT=$GITHUB_WORKSPACE/mpw_precheck" >> $GITHUB_ENV
           echo "MPW_TAG=main" >> $GITHUB_ENV
+          echo "CARAVEL_LITE=0" >> $GITHUB_ENV
 
       - name: Install dependencies
         run: |