Modernization series (1/8): pin the Nix dev shell + minimal CI - #188
Open
JPHutchins wants to merge 1 commit into
Open
Modernization series (1/8): pin the Nix dev shell + minimal CI#188JPHutchins wants to merge 1 commit into
JPHutchins wants to merge 1 commit into
