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

CI: Run the driver #1203

Closed
wants to merge 1 commit into from
Closed

CI: Run the driver #1203

wants to merge 1 commit into from

Conversation

Julow
Copy link
Collaborator

@Julow Julow commented Sep 30, 2024

This builds the doc of base in CI to ensure that the driver works. This will also check that the pinned version of sherlodoc is compatible.

@Julow Julow added the no changelog This pull request does not need a changelog entry label Sep 30, 2024
@Julow
Copy link
Collaborator Author

Julow commented Oct 7, 2024

Better done in #1207

@Julow Julow closed this Oct 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog This pull request does not need a changelog entry
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant