Skip to content

Conversation

@dihenriksen
Copy link
Collaborator

@dihenriksen dihenriksen commented Jan 13, 2026

The workflow file is borrowed from #32.
Other files from that PR may be outdated.

@dihenriksen dihenriksen merged commit 307418c into main Jan 13, 2026
3 checks passed
@dihenriksen dihenriksen deleted the ci-workflow branch January 13, 2026 20:34
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.

3 participants