Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
giscience
big-data
ohsome
parent
Merge requests
!15
Fix maven profiles
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Johannes Visintini
requested to merge
fix-maven-profiles
into
master
Feb 22, 2021
Overview
2
Commits
2
Pipelines
0
Changes
4
removed withDeps profile from Jenkinsfile (only necessary for oshdb-core build)
added git profile
please merge after
!14 (merged)