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

Delete auto main to branch merge workflow #13013

Merged
merged 3 commits into from
Feb 20, 2024
Merged

Delete auto main to branch merge workflow #13013

merged 3 commits into from
Feb 20, 2024

Commits on Feb 19, 2024

  1. Delete auto main to branch merge workflow

    @sanchariGr
    sanchariGr committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    555a74c View commit details
    Browse the repository at this point in the history

  2. Delete auto main to branch merge workflow and remove sonar check from CI

    @sanchariGr
    sanchariGr committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    6ba1632 View commit details
    Browse the repository at this point in the history

  3. Update graphviz installer

    @sanchariGr
    sanchariGr committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    dd295b3 View commit details
    Browse the repository at this point in the history