Augustin Borsu 685ae84cb0 nixos/jenkins: switch to openjdk11 as openjdk14 is not supported		2020-10-04 11:45:02 +02:00
..
default.nix	nixos/jenkins: switch to openjdk11 as openjdk14 is not supported	2020-10-04 11:45:02 +02:00
job-builder.nix
slave.nix