Skip to content

Drop nix CI infrastructure

Ben Gamari requested to merge drop-nix-ci into master

This drops the old Nix CI infrastructure which is superceded by !40 (merged).

Merge request reports