Minor fix in check-build-coverage PR reporting #1683
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow runs on PRs and the merge queue and is only responsible for | |
| # starting the "Start GitLab CI" workflow in a way that makes it possible to | |
| # use secrets. | |
| --- | |
| name: GitLab | |
| on: | |
| pull_request: | |
| branches: | |
| - "*" | |
| # for merge queue | |
| merge_group: | |
| jobs: | |
| gitlab-ci-helper: | |
| name: "Gitlab CI trigger helper" | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Trigger | |
| run: echo "GitLab trigger complete" |