| Thu, 18 Oct 2018 20:04:23 +0200 | Lars Hupel | Jenkins: run ghc_setup | file | diff | annotate |
| Mon, 08 Oct 2018 17:12:28 +0200 | Lars Hupel | Jenkins: run ocaml_setup | file | diff | annotate |
| Sat, 11 Jun 2016 17:23:24 +0200 | Lars Hupel | start moving actual Jenkins build scripts into the repository | file | diff | annotate |