Skip to content
GitLab
Explore
Sign in
ag-ohlberger
dune-community
docker
Merge requests
Open
2
Merged
98
Closed
11
All
111
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Popularity
[debian] refactor/rename/cleanup
!22
· created
Jul 26, 2018
by
Tobias Leibner
master
Merged
1
updated
Jul 27, 2018
[ci] skip image deploy from master
!28
· created
Dec 11, 2018
by
Tobias Leibner
master
Merged
1
updated
Dec 12, 2018
[debian] update qtcreator install
!31
· created
Jan 07, 2019
by
Tobias Leibner
master
Merged
4
updated
Jan 07, 2019
[debian] make manually installed qtcreator actually usable
!25
· created
Dec 07, 2018
by
Tobias Leibner
master
Closed
3
updated
Sep 23, 2020
[debian] install gitk and git-gui in interactive
!29
· created
Dec 12, 2018
by
Tobias Leibner
master
Merged
4
updated
Jan 04, 2019
bump jetbrains apps
!53
· created
May 09, 2019
by
Tobias Leibner
master
Merged
1
updated
May 09, 2019
[arch] update base archlinux image
!35
· created
Feb 19, 2019
by
Tobias Leibner
master
Closed
3
updated
Sep 23, 2020
Revert "Merge pull request #50 from dune-community/clang-format-6-for-debian-stretch"
!51
· created
May 09, 2019
by
Tobias Leibner
master
Merged
1
updated
May 09, 2019
[debian] critical bugfix release for clion
!49
· created
Apr 23, 2019
by
Tobias Leibner
master
Merged
1
updated
Apr 25, 2019
Add Packages for the new QTcreator version
!26
· created
Dec 10, 2018
by
Tobias Leibner
master
Merged
1
updated
Dec 10, 2018
Add zapcc variant
!42
· created
Apr 02, 2019
by
Tobias Leibner
master
Merged
1
updated
Feb 19, 2021
[debian-interactive] install xterm
!16
· created
Apr 20, 2018
by
Tobias Leibner
master
Closed
4
updated
Sep 23, 2020
[arch-interactive] install xterm
!17
· created
Apr 20, 2018
by
Tobias Leibner
master
Closed
3
updated
Sep 23, 2020
This fixes unstable jdk name
!43
· created
Apr 02, 2019
by
Tobias Leibner
master
Merged
1
updated
Apr 02, 2019
[WIP] rebase on manylinux2(010)
!14
· created
Apr 16, 2018
by
Tobias Leibner
master
Closed
1
updated
Jul 25, 2018
[arch] pin to a given tag
!19
· created
Jun 27, 2018
by
Tobias Leibner
master
Closed
8
updated
Jul 23, 2018
add numact
!23
· created
Nov 16, 2018
by
Tobias Leibner
master
Merged
11
updated
Nov 22, 2018
Set up CI with Azure Pipelines
!44
· created
Apr 02, 2019
by
Tobias Leibner
master
Merged
2
updated
Apr 02, 2019
[arch-full] install openmpi
!15
· created
Apr 20, 2018
by
Tobias Leibner
master
Merged
2
updated
Apr 20, 2018
[arch] force removal of "$GNUPGHOME"
!3
· created
May 11, 2017
by
Tobias Leibner
master
Merged
2
updated
May 15, 2017
Prev
1
2
3
4
5
6
Next