Augustin Borsu 685ae84cb0 nixos/jenkins: switch to openjdk11 as openjdk14 is not supported		2020-10-04 11:45:02 +02:00
..
buildbot
gocd-agent
gocd-server
hercules-ci-agent	nixos/hercules-ci-agent: init	2020-08-23 20:13:15 +02:00
hydra
jenkins	nixos/jenkins: switch to openjdk11 as openjdk14 is not supported	2020-10-04 11:45:02 +02:00
buildkite-agents.nix
gitlab-runner.nix
hail.nix