Fix condition when setting angr version

angr · May 1, 2024 · b5e3267 · b5e3267
1 parent 5693464
commit b5e3267
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-container.yml b/.github/workflows/build-container.yml
@@ -35,7 +35,7 @@ jobs:
           ANGR_VERSION=$(python -c "import feedparser; print(feedparser.parse('https://pypi.org/rss/project/angr/releases.xml').entries[0].title)")
           echo "ANGR_VERSION=$ANGR_VERSION" >> $GITHUB_ENV
       - name: Set angr version
-        if: ${{ github.event_name == 'workflow_dispatch' || github.event.inputs.version != '' }}
+        if: ${{ github.event_name == 'workflow_dispatch' && github.event.inputs.version != '' }}
         run: echo "ANGR_VERSION=${{ github.event.inputs.version }}" >> $GITHUB_ENV
       - name: Build angr docker image
         run: |