From e88419d7abb31d89109075c0542dfca1b31a4241 Mon Sep 17 00:00:00 2001 From: Mauro Medda Date: Tue, 2 Apr 2024 14:19:36 +0200 Subject: [PATCH] feat(AR-208): main PR source branch checker (#26) (#28) * feat(AR-208): main PR source branch checker (#26) * (fix): remove image build on PR (#29) --- .github/workflows/docker-publish.yaml | 4 ---- .github/workflows/main-pr-check.yaml | 13 +++++++++++++ 2 files changed, 13 insertions(+), 4 deletions(-) create mode 100644 .github/workflows/main-pr-check.yaml diff --git a/.github/workflows/docker-publish.yaml b/.github/workflows/docker-publish.yaml index a41f8e88..a03064e1 100644 --- a/.github/workflows/docker-publish.yaml +++ b/.github/workflows/docker-publish.yaml @@ -7,10 +7,6 @@ on: - "develop" tags: - "v*" - pull_request: - branches: - - "main" - jobs: push_to_registry: name: Push Docker image to Docker Hub diff --git a/.github/workflows/main-pr-check.yaml b/.github/workflows/main-pr-check.yaml new file mode 100644 index 00000000..65695be8 --- /dev/null +++ b/.github/workflows/main-pr-check.yaml @@ -0,0 +1,13 @@ +name: Check main PR source branch +on: + pull_request: + types: [opened, synchronize, reopened] +jobs: + check-pr-source: + runs-on: ubuntu-latest + steps: + - name: Verify source branch + if: github.base_ref == 'main' && github.head_ref != 'develop' + run: | + echo "Error: Pull request source branch is not 'develop'." + exit 1