Skip to content

Conversation

@AntoinePrv
Copy link
Member

No description provided.

@AntoinePrv AntoinePrv changed the title PR messages must start with a capital letter ci: pr messages must start with a capital letter Dec 12, 2025
@AntoinePrv AntoinePrv changed the title ci: pr messages must start with a capital letter ci: PR messages must start with a capital letter Dec 12, 2025
@AntoinePrv AntoinePrv merged commit 8080374 into QuantStack:main Dec 12, 2025
7 of 9 checks passed
@AntoinePrv AntoinePrv deleted the commit branch December 12, 2025 08:57
@AntoinePrv AntoinePrv added the maintenance Required changes to the code that are not observable by the user label Dec 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Required changes to the code that are not observable by the user

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant