Giovanni Biscuolo 0c5df7a6b8 hydra: milano-guix-1: Update guix archive key and ssh-ed25519 host key ... * hydra/keys/guix/milano-guix-1.di.unimi.it-export.pub: Update public-key * hydra/machines-bayfront.scm: Update milano-guix-1.di.unimi.it host-key * hydra/machines.rec: Update public-key		2020-07-07 18:49:13 +02:00
..
keys	hydra: milano-guix-1: Update guix archive key and ssh-ed25519 host key	2020-07-07 18:49:13 +02:00
modules/sysadmin	sysadmin: web: Use latest Guile to generate the website.	2020-07-06 11:39:30 +02:00
nginx	…
KGPE-D16_Manual.pdf	…
bayfront.scm	…
berlin-nodes.scm	hydra/berlin-nodes: Add Childhurd service to nodes 101, 102.	2020-06-29 07:20:30 +02:00
berlin.scm	…
build-machine.scm	…
cuirass-jobs.scm	…
domain-names.rec	…
dover.scm	…
goggles.scm	hydra/goggles: Show logs for #guix-hpc.	2020-07-03 17:38:41 +02:00
harbourfront.scm	…
machines-bayfront.scm	hydra: milano-guix-1: Update guix archive key and ssh-ed25519 host key	2020-07-07 18:49:13 +02:00
machines-for-berlin.scm	hydra/berlin-nodes: Add Childhurd service to nodes 101, 102.	2020-06-29 07:20:30 +02:00
machines.rec	hydra: milano-guix-1: Update guix archive key and ssh-ed25519 host key	2020-07-07 18:49:13 +02:00
milano-guix-1.scm	hydra/milano-guix-1: Reinstall after disk replacement	2020-07-07 18:18:42 +02:00
overdrive.scm	…