Merge branch 'php8dot3' into php8dot3-mongodb

moveis-simonetti · Mar 12, 2024 · e8735f7 · e8735f7
2 parents adf2c29 + 5a2cdab
commit e8735f7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/docker-build.yaml b/.github/workflows/docker-build.yaml
@@ -32,11 +32,11 @@ jobs:
       - name: Should push?
         id: shoudPush
         run: |
-          if [[ ${{ github.event.ref }} =~ ^refs/heads/php[0-9]dot[0-9]$ ]]; then
+          if [[ ${{ github.event.ref }} = "refs/heads/master" ]]; then
               echo "match=true" >> $GITHUB_OUTPUT
-          if [[ ${{ github.event.ref }} =~ ^refs/heads/php[0-9]dot[0-9]-mongodb$ ]]; then
+          elif [[ ${{ github.event.ref }} =~ ^refs/heads/php[0-9]dot[0-9]$ ]]; then
               echo "match=true" >> $GITHUB_OUTPUT
-          elif [[ ${{ github.event.ref }} = "refs/heads/master" ]]; then
+          elif [[ ${{ github.event.ref }} =~ ^refs/heads/php[0-9]dot[0-9]-mongodb$ ]]; then
               echo "match=true" >> $GITHUB_OUTPUT
           fi