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

@dmjio dmjio commented Aug 26, 2023

Copy link
Copy Markdown
Member

Adds a nix build for CI

@dmjio

dmjio commented May 23, 2026

Copy link
Copy Markdown
Member Author

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