Skip to content

Pin nixpkgs and remove slither workaround#608

Merged
arcz merged 2 commits intomasterfrom nixFeb 8, 2021

Commits

Commits on Feb 7, 2021