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.

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

CI: add branches filter #1130

Merged
merged 9 commits into from
Oct 10, 2022
Merged

Commits on Aug 25, 2022

  1. CI: add branches filter

    6543 committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    25130a1 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2022

  1. Configuration menu
    Copy the full SHA
    1102dfb View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2022

  1. Configuration menu
    Copy the full SHA
    0ff666e View commit details
    Browse the repository at this point in the history
  2. add root whens

    anbraten committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    fc76b2d View commit details
    Browse the repository at this point in the history
  3. fix schema

    anbraten committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    8f95862 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2022

  1. Merge remote-tracking branch 'origin/master' into ci_only-exec-on-def…

    …ault-and-release-branch
    anbraten committed Oct 9, 2022
    Configuration menu
    Copy the full SHA
    39ee4bf View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    338bdbf View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    96d97c6 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    0c8897d View commit details
    Browse the repository at this point in the history