nix-tools
nix-tools copied to clipboard
Try github actions
Do we want to merge this PR at some point, or is it just serving a testing purpose and could be closed?
Do we want to merge this PR at some point, or is it just serving a testing purpose and could be closed?