| Wed, 27 Mar 2024 22:12:37 +0100 | wenzelm | proper "isabelle go_setup" for Jenkins; | file | diff | annotate |
| Thu, 29 Sep 2022 14:15:01 +0200 | Fabian Huch | amend jenkins ci build; | file | diff | annotate |
| Thu, 29 Sep 2022 13:58:26 +0200 | Fabian Huch | restructured ci profile into modular ci build system; | file | diff | annotate |
| 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 |