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

docs: mention CI in the contribution guide #97

Merged
merged 2 commits into from
Mar 17, 2025
Merged

Conversation

KnorpelSenf
Copy link
Contributor

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
@KnorpelSenf KnorpelSenf added the documentation Improvements or additions to documentation label Mar 17, 2025
@KnorpelSenf KnorpelSenf requested a review from lovasoa March 17, 2025 14:55

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
@lovasoa lovasoa merged commit f305235 into main Mar 17, 2025
12 checks passed
@lovasoa
Copy link
Collaborator

lovasoa commented Mar 17, 2025

thanks

@KnorpelSenf KnorpelSenf deleted the ci-for-new-solvers branch March 17, 2025 16:56
@KnorpelSenf
Copy link
Contributor Author

Oh no, I messed up the link

@KnorpelSenf KnorpelSenf mentioned this pull request Mar 17, 2025
@KnorpelSenf
Copy link
Contributor Author

Fixed it in #98

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants