[nix, ci] apply changes suggested by Alfredo

parent 8d6dab80
Pipeline #7452 passed with stages
in 65 minutes and 25 seconds