Use Mina o1js-main branch instead of rampup.

o1-labs · Oct 26, 2023 · fec797d · fec797d
1 parent b1f34e6
commit fec797d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -31,7 +31,7 @@ jobs:
           host: ${{ secrets.MINA_BUILD_SYSTEM_IP }}
           username: ${{ secrets.MINA_BUILD_SYSTEM_SSH_USER_NAME }}
           key: ${{ secrets.MINA_BUILD_SYSTEM_SSH_PRIVATE_KEY }}
-          script: bash -ilc "${HOME}/projects/o1labs/mina-lightnet-docker/scripts/build-all.sh ${HOME}/projects/o1labs/mina ${HOME}/projects/o1labs/Archive-Node-API ${HOME}/projects/o1labs/mina-lightnet-docker ${HOME}/projects/p42/mina-accounts-manager o1labs \"develop berkeley rampup\""
+          script: bash -ilc "${HOME}/projects/o1labs/mina-lightnet-docker/scripts/build-all.sh ${HOME}/projects/o1labs/mina ${HOME}/projects/o1labs/Archive-Node-API ${HOME}/projects/o1labs/mina-lightnet-docker ${HOME}/projects/p42/mina-accounts-manager o1labs \"develop berkeley o1js-main\""
           command_timeout: 170m
       - name: Sleep for 15 seconds
         run: sleep 15s

diff --git a/scripts/build-all.sh b/scripts/build-all.sh
@@ -88,8 +88,8 @@ for TARGET_BRANCH in "${TARGET_BRANCHES[@]}"; do
   echo "[INFO] Building Mina at branch: '${TARGET_BRANCH}' and then the corresponding Docker Image"
   echo ""
   BRANCH_NAME=${TARGET_BRANCH}
-  if [[ $TARGET_BRANCH == "rampup" ]]; then
-    BRANCH_NAME="o1js-main"
+  if [[ $TARGET_BRANCH == "o1js-main" ]]; then
+    BRANCH_NAME="rampup"
   fi
 
   gitPullAll && gitPullAll