operating-systems: buer: Add https://guix.bordeaux.inria.fr

main
Luis Guilherme Coelho 2024-10-30 08:14:57 -03:00
parent e89d1fb601
commit 322e24af31
No known key found for this signature in database
GPG Key ID: 1F2E76ACE3F531C8
1 changed files with 4 additions and 2 deletions

View File

@ -220,12 +220,14 @@
(discover? #t) (discover? #t)
(authorized-keys (authorized-keys
(cons* substitute-key:genenetwork.pub (cons* substitute-key:genenetwork.pub
substitute-key:inria.pub
substitute-key:yumiko.pub substitute-key:yumiko.pub
%default-authorized-guix-keys)) %default-authorized-guix-keys))
(substitute-urls (substitute-urls
`("https://ci.guix.gnu.org" `("https://bordeaux.guix.gnu.org"
"https://cuirass.genenetwork.org" "https://cuirass.genenetwork.org"
"https://bordeaux.guix.gnu.org")) "https://ci.guix.gnu.org"
"https://guix.bordeaux.inria.fr"))
(extra-options (extra-options
`("--max-jobs=8" `("--max-jobs=8"
"--cores=4" "--cores=4"