Ricardo Wurmus 5a614a95fc hydra: Update IP of berlin build node. ... * hydra/machines-for-berlin.scm (hosts): Update IP for host 12.		2017-12-04 08:05:32 +01:00
..
keys	hydra: Add berlin.guixsd.org public key.	2017-08-11 06:22:38 +02:00
modules/sysadmin	hydra: Add missing module imports.	2017-11-25 22:33:30 +01:00
nginx	hydra: nginx: Redirect hydra.gnu.org/nar to hydra.gnu.org/guix/nar.	2017-11-28 14:05:52 +01:00
bayfront.scm	hydra: bayfront: Use nginx-service-type.	2017-08-28 22:26:14 +02:00
berlin.scm	hydra: Change motd.	2017-12-04 08:05:32 +01:00
build-machine.scm	hydra: Switch from lsh to OpenSSH.	2017-07-30 16:25:19 +02:00
cuirass-jobs.scm	hydra: cuirass: Remove duplicates from the list of jobs.	2017-08-26 00:49:46 +02:00
KGPE-D16_Manual.pdf	hydra: Add manual for the mainboard in bayfront.	2017-02-12 19:09:11 +01:00
machine-status.scm	hydra: Add 'machine-status.scm' program.	2017-03-12 15:03:42 +01:00
machines-for-berlin.scm	hydra: Update IP of berlin build node.	2017-12-04 08:05:32 +01:00
machines.rec	hydra: Add new machine hydra-slave3.netris.org.	2017-04-08 06:15:18 -04:00
machines.scm	hydra: Add redhill to the list of build machines.	2017-11-01 17:13:54 +01:00