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
#10959
Merge branch 'refs/heads/dev' into dev_zip_files
# Conflicts: # CityDoctorParent/CityDoctorModel/pom.xml # CityDoctorParent/pom.xml
1 job for
dev_gui_features_zip_loading
in 1 minute and 9 seconds (queued for 1 second)
82596784
1 related merge request:
!26 Add ZIP-archive support
Pipeline
Needs
Jobs
1
Failed Jobs
1
Tests
424
