Skip to content

Add GitHub CI#8

Merged
kahrendt merged 3 commits intomainfrom
add-ci
Dec 22, 2025
Merged

Add GitHub CI#8
kahrendt merged 3 commits intomainfrom
add-ci

Conversation

@kahrendt
Copy link
Contributor

Adds a GitHub CI check

@kahrendt kahrendt merged commit cd097b7 into main Dec 22, 2025
4 checks passed
@kahrendt kahrendt deleted the add-ci branch December 22, 2025 14:42
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.

1 participant