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

chore: add dev branch to required PR workflow triggers #5186

Merged
merged 3 commits into from
Oct 30, 2024
Merged

chore: add dev branch to required PR workflow triggers #5186

merged 3 commits into from
Oct 30, 2024

Commits on Oct 30, 2024

  1. Fix 24.04 ARM64 pipeline (#5181) 

    Co-authored-by: Artun Duman <[email protected]>
    @artunduman
    artunduman and Artun Duman authored Oct 30, 2024
    Configuration menu
    Copy the full SHA
    8ea0b5a View commit details
    Browse the repository at this point in the history

  2. chore: add dev branch to required PR workflow triggers

    Cameron Meissner committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    186abaf View commit details
    Browse the repository at this point in the history

  3. Merge branch 'dev' into cameissner/dev-triggers

    @djsly
    djsly authored Oct 30, 2024
    Configuration menu
    Copy the full SHA
    0bc5e7d View commit details
    Browse the repository at this point in the history