- 18 Nov, 2016 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 10 Nov, 2016 1 commit
-
-
Ansgar Burchardt authored
-
- 26 Oct, 2016 1 commit
-
-
Ansgar Burchardt authored
-
- 25 Oct, 2016 4 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 19 Oct, 2016 4 commits
-
-
Ansgar Burchardt authored
Before the unset `DUNECI_OPTS` was used in the next line...
-
Ansgar Burchardt authored
Otherwise no opts file is used at all and the code is built without any optimization, leading to timeouts in tests.
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 18 Oct, 2016 12 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
This matches the name now used in `dune-common`. We need to provide a `duneci-ctest` symlink for compatability with older `.gitlab-ci.yml` files.
-
Ansgar Burchardt authored
This allows using the script for `dune-common` as well.
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 17 Oct, 2016 4 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
The images are now build via `.gitlab-ci.yml` and I do not want to continue providing the `Makefile` as well.
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 23 Sep, 2016 8 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
This should allow to decrease duplication in most `.gitlab-ci.yml` files.
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
This image is used by the CI to build other docker images for the CI.
-
Ansgar Burchardt authored
-
- 22 Sep, 2016 3 commits
-
-
Ansgar Burchardt authored
This helps understanding what happened.
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-