updates to gf180mcuD drc deck

efabless · Nov 1, 2023 · ae1e00d · ae1e00d
1 parent d8c8b08
commit ae1e00d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: |