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.

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

Backport docs CI fixes from main #861

Merged
merged 4 commits into from
Jan 17, 2024
Merged

Backport docs CI fixes from main #861

merged 4 commits into from
Jan 17, 2024

Conversation

sea-bass
Copy link
Contributor

@sea-bass sea-bass commented Jan 16, 2024

This PR backports (most of) #859 and #860 to fix humble docs build in CI.

@sea-bass sea-bass changed the base branch from main to humble January 16, 2024 23:11
@sea-bass sea-bass marked this pull request as ready for review January 16, 2024 23:13
@sea-bass sea-bass closed this Jan 16, 2024
@sea-bass sea-bass reopened this Jan 16, 2024
@sea-bass sea-bass requested a review from Abishalini January 17, 2024 00:31
@sjahr sjahr merged commit 2b8f9b4 into humble Jan 17, 2024
10 checks passed
@sjahr sjahr deleted the backport-docs-ci-fixes branch January 17, 2024 07:20
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