- Sep 02, 2021
-
-
- Aug 26, 2021
- Aug 24, 2021
-
-
Timo Koch authored
-
- Jul 30, 2021
-
-
Hanchuan Wu authored
-
Hanchuan Wu authored
-
Hanchuan Wu authored
-
Hanchuan Wu authored
-
Hanchuan Wu authored
-
Hanchuan Wu authored
-
Hanchuan Wu authored
-
- Jul 28, 2021
-
-
Timo Koch authored
-
- Jul 07, 2021
-
-
- Jun 01, 2021
-
-
- May 31, 2021
-
-
Dennis Gläser authored
-
Dennis Gläser authored
The commands (e.g. pipeline queries via API) may contain sensible information that we don't want to display e.g. in the output of jobs from the GitLab CI
-
Dennis Gläser authored
-
- May 27, 2021
-
-
- May 25, 2021
-
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Dennis Gläser authored
also, do not only check the current project headers, as downstream modules may want to test against changes in dumux
-
Dennis Gläser authored
-
- May 19, 2021
-
-
- May 18, 2021
-
-
hanchuan authored
-
hanchuan authored
-
Dennis Gläser authored
-
- May 17, 2021
-
-
Timo Koch authored
-
-
-
Dennis Gläser authored
-
- May 12, 2021
-
-
Dennis Gläser authored
-
- May 11, 2021
-
-
Dennis Gläser authored
[docker] set git user e.g. for applying patches
-
Dennis Gläser authored
-
Dennis Gläser authored
-
Martin Utz authored
-
- Apr 30, 2021
-
-
Dennis Gläser authored
-
- Apr 28, 2021
-
-
Dennis Gläser authored
-