Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
CityDoctor
CityDoctor2
Pipelines
#10030
Adjusted pom.xml-files
1 job for
dev_GUI
in 1 minute and 11 seconds (queued for 1 second)
2bb46f1c
1 related merge request:
!6 Open source release of CityDoctorGUI and other extensions.
Pipeline
Needs
Jobs
1
Failed Jobs
1
Tests
410