[DDS-1576] Remove CircleCI. Add build on merge to target. (#199)

dpc-sdp · Oct 4, 2023 · a15ce4c · a15ce4c
1 parent 0dcdfc6
commit a15ce4c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 167 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/.github/workflows/build-deploy.yml b/.github/workflows/build-deploy.yml
@@ -6,12 +6,16 @@ on:
   workflow_dispatch:
   push:
     branches:
-      - "build/**"
+      - 'build/**'
+  pull_request_target:
+    types:
+      - closed
 
 env:
   REGISTRY: ghcr.io
 jobs:
   buildx:
+    if: github.event.pull_request.merged == true || startsWith(github.head_ref, 'build/') || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch'
     runs-on: ubuntu-latest
     strategy:
       matrix: