Skip to content

Add GitHub CI#58

Closed
dmjio wants to merge 1 commit into
masterfrom
github-ci
Closed

Add GitHub CI#58
dmjio wants to merge 1 commit into
masterfrom
github-ci

Conversation

@dmjio
Copy link
Copy Markdown
Member

@dmjio dmjio commented Aug 26, 2023

Adds a nix build for CI

@dmjio
Copy link
Copy Markdown
Member Author

dmjio commented May 23, 2026

Closed in favor of #64

@dmjio dmjio closed this May 23, 2026
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