Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Remove docs build from CI #2483

Merged
merged 1 commit into from
Dec 31, 2023
Merged

Remove docs build from CI #2483

merged 1 commit into from
Dec 31, 2023

Conversation

texodus
Copy link
Member

@texodus texodus commented Dec 31, 2023

Removes the docs build from CI.

@texodus texodus added the internal Internal refactoring and code quality improvement label Dec 31, 2023
@texodus texodus merged commit bd591f1 into master Dec 31, 2023
1 check passed
@texodus texodus deleted the remove-docs-build branch December 31, 2023 01:45
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
internal Internal refactoring and code quality improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant