Switch CI to Nix
Switching the CI pipeline over to Nix ensures that builds as well as checks run the same way on developer machines as well as on CI.
Switching the CI pipeline over to Nix ensures that builds as well as checks run the same way on developer machines as well as on CI.