[CI] Exclude new ModelCategories from UniMath

See UniMath/UniMath#1851
proux01 · Feb 28, 2024 · a844a41 · a844a41
1 parent de96efa
commit a844a41
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/ci/ci-unimath.sh b/dev/ci/ci-unimath.sh
@@ -13,7 +13,7 @@ export COQEXTRAFLAGS='-native-compiler no'
 ( cd "${CI_BUILD_DIR}/unimath"
   # these files consumes too much memory for the shared workers
   # (at least with -j 2 when the scheduler runs them in parallel)
-  for p in SubstitutionSystems Bicategories; do
+  for p in SubstitutionSystems Bicategories ModelCategories; do
       sed -i.bak "s|PACKAGES += $p||" Makefile
   done
   make BUILD_COQ=no