Merge PR #20636: ci-algebra_tactics: disable native compute

Reviewed-by: proux01
Co-authored-by: proux01 <[email protected]>

Author: coqbot-app[bot]

dev/ci/scripts/ci-algebra_tactics.sh

@@ -9,6 +9,8 @@ git_download algebra_tactics
 
 if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
 
+export COQEXTRAFLAGS='-native-compiler no'
+
 ( cd "${CI_BUILD_DIR}/algebra_tactics"
   make
   make install

dev/ci/scripts/ci-relation_algebra.sh

@@ -9,6 +9,8 @@ git_download relation_algebra
 
 if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
 
+export COQEXTRAFLAGS='-native-compiler no'
+
 ( cd "${CI_BUILD_DIR}/relation_algebra"
   make .merlin
   make