Skip to content

Add basic CI #13

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

Merged
merged 11 commits into from
Feb 18, 2025
Merged

Add basic CI #13

merged 11 commits into from
Feb 18, 2025

Conversation

Technici4n
Copy link
Contributor

@Technici4n Technici4n commented Feb 17, 2025

Fixes #7 too, hopefully.

@Technici4n Technici4n marked this pull request as ready for review February 17, 2025 13:15
@mfherbst mfherbst merged commit b4767af into master Feb 18, 2025
1 check passed
@mfherbst mfherbst deleted the ci branch February 18, 2025 13:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Fix CI
2 participants