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

Try making pull-request workflows non-concurrent #1970

Merged
merged 4 commits into from
Apr 26, 2023
Merged

Try making pull-request workflows non-concurrent #1970

merged 4 commits into from
Apr 26, 2023

Commits on Apr 26, 2023

  1. Try making pull-request workflows non-concurrent

    @jleibs
    jleibs committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    6ff51fe View commit details
    Browse the repository at this point in the history

  2. Incremental commit

    @jleibs
    jleibs committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    cbf243f View commit details
    Browse the repository at this point in the history

  3. Concurrency groups for push_main as well

    @jleibs
    jleibs committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    6928a87 View commit details
    Browse the repository at this point in the history

  4. Each sub-workflow needs its own name or they fight

    @jleibs
    jleibs committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    8febd57 View commit details
    Browse the repository at this point in the history