-
- Merged
- 4
updated -
- Merged
- 5
updated -
dumux-web-app!11updated
-
- Merged
- 3
- Approved
updated -
dumux!1002updated
-
cherrypick/changes-from-master-in-release 0 of 8 checklist items completeddumux!3827 3.9 releases/3.9updated
-
updated
-
Ci/add branch to image registry dumux side 0 of 8 checklist items completeddumux!3799
- Merged
- Approved
updated -
[ci] add job for doxygen docu build 6 of 6 checklist items completeddumux!3367 3.7
- Merged
- 2
- Approved
updated -
dumux-lecture!165
- Merged
- 10
- Approved
updated -
dumux-lecture!226updated
-
- Merged
- 22
updated -
dumux-lecture!223 3.9updated
-
- Merged
- 3
updated -
- Merged
- Approved
updated -
dumux-lecture!158
- Merged
- 8
updated -
updated
-
updated
-
[ci] change ubuntu version in gitlab-ci to 22.04 6 of 6 checklist items completeddumux!3782 releases/3.7
- Merged
- 1
updated