Wolfgang Walther f7c25f0bf9 ci/pinned: manage nixpkgs and treefmt-nix with npins ...

Instead of rolling our own update script which only works for a single
pin, let's use npins. We can then use it for the treefmtNix pin as well,
which was mostly unmaintained, so far.

2025-06-02 09:13:11 +02:00

148 B

Executable File

Raw Permalink Blame History

View Raw