Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[CI] Skip dev-igc run if the PR has ci-no-devigc label specified #15318

Merged
merged 5 commits into from
Sep 6, 2024
Merged

[CI] Skip dev-igc run if the PR has ci-no-devigc label specified #15318

merged 5 commits into from
Sep 6, 2024

Commits on Sep 6, 2024

  1. Skip dev-igc run if the PR has ci-no-devigc label

    @uditagarwal97
    uditagarwal97 committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    19ab600 View commit details
    Browse the repository at this point in the history

  2. Fix typo 

    Co-authored-by: Nick Sarnie <sarnex@users.noreply.github.com>
    @uditagarwal97 @sarnex
    uditagarwal97 and sarnex committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    61acb63 View commit details
    Browse the repository at this point in the history

  3. Rename run_condition to skip_run

    @uditagarwal97
    uditagarwal97 committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    01c5a4d View commit details
    Browse the repository at this point in the history

  4. Fix merge conflict

    @uditagarwal97
    uditagarwal97 committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    35a74b0 View commit details
    Browse the repository at this point in the history

  5. Simply check for ci-no-devigc

    @uditagarwal97
    uditagarwal97 committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    b525ebf View commit details
    Browse the repository at this point in the history