Merge PR coq#18267: [CI] Use a lighter target in fiat-crypto-ocaml

Reviewed-by: SkySkimmer Co-authored-by: SkySkimmer <[email protected]>
eladrion · Nov 13, 2023 · a4d962e · a4d962e
2 parents 9206669 + 0a0b763
commit a4d962e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/ci/ci-fiat_crypto_ocaml.sh b/dev/ci/ci-fiat_crypto_ocaml.sh
@@ -17,5 +17,5 @@ ulimit -s 131072
 make_args=(EXTERNAL_REWRITER=1 EXTERNAL_COQPRIME=1 OCAMLFIND=ocamlfind)
 
 ( cd "${CI_BUILD_DIR}/fiat_crypto"
-  make "${make_args[@]}" -j 1 standalone-ocaml lite-generated-files
+  make "${make_args[@]}" -j 1 lite-c-files
 )