Skip to content

Use dot to separate distro major and minor version and replace distro registry with factory #877

Use dot to separate distro major and minor version and replace distro registry with factory

Use dot to separate distro major and minor version and replace distro registry with factory #877

Workflow file for this run

name: GitLab
# NOTE(mhayden): Restricting branches prevents jobs from being doubled since
# a push to a pull request triggers two events.
on:
pull_request:
branches:
- "*"
# for merge queue
merge_group:
jobs:
gitlab-ci-helper:
name: "Gitlab CI trigger helper"
runs-on: ubuntu-latest
env:
SKIP_CI: ${{ (github.event.pull_request.draft == true || contains(github.event.pull_request.labels.*.name, 'WIP')) && !contains(github.event.pull_request.labels.*.name, 'WIP+test') }}
steps:
- name: Write PR status
run: echo "$SKIP_CI" > SKIP_CI.txt
- name: Upload status
uses: actions/upload-artifact@v4
with:
name: PR_STATUS
path: SKIP_CI.txt