Skip to content
This repository was archived by the owner on Dec 15, 2025. It is now read-only.

Comments

Update CI files for branch 1.15#1280

Merged
pulpbot merged 1 commit into1.15from
update-ci/1.15
Dec 1, 2025
Merged

Update CI files for branch 1.15#1280
pulpbot merged 1 commit into1.15from
update-ci/1.15

Conversation

@pulpbot
Copy link
Member

@pulpbot pulpbot commented Nov 30, 2025

Automated changes by create-pull-request GitHub action

@pulpbot pulpbot merged commit 06c680b into 1.15 Dec 1, 2025
11 checks passed
@pulpbot pulpbot deleted the update-ci/1.15 branch December 1, 2025 08:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants