Skip to content

Update docs workflow version#262

Merged
ggainey merged 1 commit intopulp:mainfrom
pedro-psb:docs-ci-update
Sep 2, 2025
Merged

Update docs workflow version#262
ggainey merged 1 commit intopulp:mainfrom
pedro-psb:docs-ci-update

Conversation

@pedro-psb
Copy link
Member

There was a intermediate state where we needed this branch, but we don't anymore.

There was a intermediate state where we needed this branch, but we don't anymore.
@ggainey ggainey merged commit 13e04c6 into pulp:main Sep 2, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants