chore: conform buildbot to option rename

This commit is contained in:
Julien Malka 2024-05-22 14:49:17 +02:00
parent b2bab469b6
commit 4e88f54b28
Signed by: Luj
GPG key ID: 6FC74C847011FD83

View file

@ -30,9 +30,9 @@ in
oauthSecretFile = config.age.secrets.github-oauth-secret.path;
oauthId = "bba3e144501aa5b8a5dd";
user = "JulienMalka";
admins = [ "JulienMalka" ];
topic = "nix-ci";
};
admins = [ "JulienMalka" ];
evalWorkerCount = 10; # limit number of concurrent evaluations
};