Skip to content

Add GitHub CI check#5

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

Add GitHub CI check#5
kahrendt merged 7 commits intomainfrom
add-ci

Conversation

@kahrendt
Copy link
Collaborator

@kahrendt kahrendt commented Dec 22, 2025

Adds a CI check that runs the various formatters, linters, and verifies it builds

@kahrendt kahrendt merged commit 43bf8c8 into main Dec 22, 2025
3 checks passed
@kahrendt kahrendt deleted the add-ci branch December 22, 2025 13:25
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

Comments