Closed jmbenlloch closed 2 years ago
This PR removes the old nix workflow that was not working anymore and it is already replaced by a new docker-based one (#176).
This PR removes the old nix workflow that was not working anymore and it is already replaced by a new docker-based one (#176).