Skip to content

Update CI files for branch main#7632

Merged
pulpbot merged 2 commits intomainfrom
update-ci/main
Apr 25, 2026
Merged

Update CI files for branch main#7632
pulpbot merged 2 commits intomainfrom
update-ci/main

Conversation

@pulpbot
Copy link
Copy Markdown
Member

@pulpbot pulpbot commented Apr 24, 2026

Automated changes by create-pull-request GitHub action

@pulpbot pulpbot enabled auto-merge (rebase) April 24, 2026 19:04
@dralley dralley force-pushed the update-ci/main branch 6 times, most recently from e55856a to 5ce4e39 Compare April 24, 2026 22:52
@pulpbot pulpbot merged commit 9ed61b1 into main Apr 25, 2026
13 of 14 checks passed
@pulpbot pulpbot deleted the update-ci/main branch April 25, 2026 03:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants