Skip to content

updating nix and CI#102

Open
CohenCyril wants to merge 1 commit into
masterfrom
updateci
Open

updating nix and CI#102
CohenCyril wants to merge 1 commit into
masterfrom
updateci