Skip to content

Modernization series (1/8): pin the Nix dev shell + minimal CI - #188

Open
JPHutchins wants to merge 1 commit into
s-zeng:masterfrom
JPHutchins:modernize/01-nix
Open

Modernization series (1/8): pin the Nix dev shell + minimal CI#188
JPHutchins wants to merge 1 commit into
s-zeng:masterfrom
JPHutchins:modernize/01-nix

build: pin nixpkgs and add a minimal CI that runs on the stacked PRs

7593e96
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs