Merge commits '56582094 427bc3cd 0cf2fb91 9c8c4f44 70be3cad f16a709f 464a9115 1d8f3675 afd8b23b 2bca0a5c 2d51a454 4e682626 a0f4644f 145078c4 7b7503da ec98fced 346a053d ' into temp-merge-1269

2023-07-21 15:28:58 +00:00
parent d47e4d40ca 346a053d4c
commit a9a5c24de2
33 changed files with 8850 additions and 248 deletions
--- a/ci/cirrus.sh
+++ b/ci/cirrus.sh
@@ -118,8 +118,8 @@ fi
 # Rebuild precomputed files (if not cross-compiling).
 if [ -z "$HOST" ]
 then
-    make clean-precomp
-    make precomp
+    make clean-precomp clean-testvectors
+    make precomp testvectors
 fi

 # Check that no repo files have been modified by the build.