WIP: Release aeneas so that stable does not run an infinite loop in CI

titzer · Dec 12, 2024 · 0bf6c0b · 0bf6c0b
1 parent 3135927
commit 0bf6c0b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/ci/linux/build-test-x86.sh b/ci/linux/build-test-x86.sh
@@ -11,4 +11,7 @@ sudo apt -y install nasm
 
 "${TEST_DIR}"/configure
 
+# XXX(kunals): Temporarily release aeneas to avoid infinte loop in CI
+${VIRGIL_LOC}/bin/dev/aeneas release
+
 V3C_OPTS="$@" PROGRESS_ARGS=c TEST_TARGETS="v3i x86-linux" "${TEST_DIR}"/all.bash