Skip to content

Conversation

ludovicsteinbach
Copy link
Contributor

Remove -j args
Remove blank line

@github-actions github-actions bot added the maintenance Package and maintenance related label May 3, 2024
@ludovicsteinbach ludovicsteinbach enabled auto-merge May 3, 2024 15:04
@ludovicsteinbach ludovicsteinbach added this pull request to the merge queue May 3, 2024
Merged via the queue into main with commit 8bd1398 May 3, 2024
@Andy-Grigg Andy-Grigg deleted the maint/fix-sphinx-opts branch August 21, 2024 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Package and maintenance related

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants