Windows CI use ci pick

SkySkimmer · Dec 3, 2024 · eaee404 · eaee404
1 parent 7870106
commit eaee404
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/ci/platform/coq-pf-03-build.bat b/dev/ci/platform/coq-pf-03-build.bat
@@ -13,7 +13,7 @@ cd platform-*
 
 call coq_platform_make_windows.bat ^
   -arch=%ARCH% ^
-  -pick=dev ^
+  -pick=ci ^
   -destcyg=%CYGROOT% ^
   -cygcache=%CYGCACHE% ^
   -extent=i ^