mirror.yaml: pass PIPELINE_NAME (#20)

eic · May 8, 2024 · 7be4db4 · 7be4db4
1 parent 03850ad
commit 7be4db4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/mirror.yaml b/.github/workflows/mirror.yaml
@@ -38,3 +38,4 @@ jobs:
           GITHUB_REPOSITORY=${{ github.repository }}
           GITHUB_SHA=${{ github.event.pull_request.head.sha || github.sha }}
           GITHUB_PR=${{ github.event.pull_request.number }}
+          PIPELINE_NAME=${{ github.event.pull_request.title }}
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -8,6 +8,7 @@ variables:
   GITHUB_REPOSITORY: ''
 
 workflow:
+  name: '$PIPELINE_NAME'
   rules:
     - if: '$CI_PIPELINE_SOURCE == "merge_request_event"'
     - if: '$CI_PIPELINE_SOURCE == "web"'