Skip to content

Update CI files for branch main#2024

Merged
pulpbot merged 1 commit into
mainfrom
update-ci/main
Aug 12, 2025
Merged

Update CI files for branch main#2024
pulpbot merged 1 commit into
mainfrom
update-ci/main

Conversation

@pulpbot
Copy link
Copy Markdown
Member

@pulpbot pulpbot commented Jun 15, 2025

Automated changes by create-pull-request GitHub action

@pulpbot pulpbot enabled auto-merge (rebase) June 15, 2025 03:49
@pulpbot pulpbot force-pushed the update-ci/main branch 2 times, most recently from 7ad4efd to e602960 Compare June 22, 2025 03:49
@pulpbot pulpbot force-pushed the update-ci/main branch 2 times, most recently from fd1cc55 to 12f0f2d Compare July 1, 2025 09:51
@pulpbot pulpbot merged commit 4de2a01 into main Aug 12, 2025
12 of 13 checks passed
@pulpbot pulpbot deleted the update-ci/main branch August 12, 2025 19:39
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