nixpkgs

Files

ajs124 18a17d11ff nixos/jenkins: jdk11 -> jdk17

see https://www.jenkins.io/doc/upgrade-guide/2.361/
we'll need to do this eventually, not sure when the best point in time is

2022-10-11 21:16:37 +02:00

2022-08-27 19:18:29 +02:00

2022-08-31 16:32:53 +02:00

2022-08-31 16:32:53 +02:00

2022-08-31 16:32:54 +02:00

2022-09-26 17:53:26 +03:00

2022-10-11 21:16:37 +02:00

buildkite-agents.nix

2022-09-10 18:23:13 +02:00

github-runner.nix

2022-10-08 01:32:55 +02:00

gitlab-runner.nix

2022-08-31 16:32:53 +02:00

hail.nix

2022-07-30 15:16:34 +02:00