Merge branch 'php8dot2' into php8dot2-mongodb

moveis-simonetti · Mar 12, 2024 · 0fcf265 · 0fcf265
2 parents 5092ae1 + 41065ce
commit 0fcf265
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docker-build.yaml b/.github/workflows/docker-build.yaml
@@ -34,6 +34,8 @@ jobs:
         run: |
           if [[ ${{ github.event.ref }} =~ ^refs/heads/php[0-9]dot[0-9]$ ]]; then
               echo "match=true" >> $GITHUB_OUTPUT
+          if [[ ${{ github.event.ref }} =~ ^refs/heads/php[0-9]dot[0-9]-mongodb$ ]]; then
+              echo "match=true" >> $GITHUB_OUTPUT
           elif [[ ${{ github.event.ref }} = "refs/heads/master" ]]; then
               echo "match=true" >> $GITHUB_OUTPUT
           fi