Fix for develop and compatible.

o1-labs · Sep 5, 2024 · 0814815 · 0814815
1 parent 0dddbac
commit 0814815
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/build-all.sh b/scripts/build-all.sh
@@ -81,6 +81,7 @@ for TARGET_BRANCH in "${TARGET_BRANCHES[@]}"; do
   gitPullAll && gitPullAll
   git checkout ${TARGET_BRANCH}
   gitPullAll && gitPullAll
+  opam repository add --yes --all --set-default o1-labs https://github.com/o1-labs/opam-repository.git
   opam switch import --switch mina --yes opam.export
   opam switch import opam.export --yes
   chmod +x scripts/pin-external-packages.sh