2 Commits

Author	SHA1	Message	Date
Silvan Mosberger	545eb50c7d	ci/update-pinned-nixpkgs.sh: Allow setting the rev ... This script only needs to make sure that the revision has the relevant packages built, it doesn't necessarily need to be a channel version. This commit makes it possible to set the revision explicitly when calling the update script.	2024-07-18 15:51:02 +02:00
Silvan Mosberger	b33ac05d04	ci: reusable Nix format Nixpkgs pin ... This is needed such that in the next commit, we can re-use the same version from a shell.nix, allowing people to have a guaranteed matching nixfmt version.	2024-06-26 16:06:49 +02:00