- May 14, 2020
-
-
Lisa Julia Nebel authored
Update the image addresses in .gitlab-ci.yml from "duneci/dune:***" to "registry.dune-project.org/docker/ci/dune:***", so the dokcer-images are fetched from the official dune-ci
-
- Dec 19, 2019
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- May 22, 2019
-
-
Ansgar Burchardt authored
Python 2's include files still contain the `register` keyword which is no longer allowed in C++17; using it is an error for clang.
-
- May 21, 2019
-
-
Ansgar Burchardt authored
-
- May 20, 2019
-
-
Sander, Oliver authored
-
- May 16, 2019
-
-
Ansgar Burchardt authored
-
- Apr 05, 2018
-
-
Sander, Oliver authored
-
Sander, Oliver authored
-
Sander, Oliver authored
-
Sander, Oliver authored
-
Sander, Oliver authored
-
- Jan 26, 2016
-
-
Sander, Oliver authored
-