simpler way

h2r · Mar 13, 2024 · 6c6f773 · 6c6f773
1 parent 76253c7
commit 6c6f773
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/pypi_deployment.yml b/.github/workflows/pypi_deployment.yml
@@ -94,7 +94,7 @@ jobs:
 
     - uses: actions/checkout@v4
       with:
-        ref: "dev-${{ env.VERSION }}"
+        ref: "main"
 
     - name: Install dependencies
       run: |

diff --git a/scripts/pomdp_py_release.sh b/scripts/pomdp_py_release.sh
@@ -87,8 +87,10 @@ fi
 echo $version
 if ! is_git_repo_on_branch $pomdp_py_path dev-$version; then
     if ! is_git_repo_on_branch $pomdp_py_path dev-latest; then
-        echo "pomdp-py repo must be either on dev-latest or dev-$version, but not $current_branch. Abort"
-        exit 1
+        if ! is_git_repo_on_branch $pomdp_py_path main; then
+            echo "pomdp-py repo must be either on dev-latest or dev-$version, or main, but not $current_branch. Abort"
+            exit 1
+        fi
     fi
 fi