Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
vadere
vadere
Pipelines
#93530
Merge branch 'java_migration' of
https://gitlab.lrz.de/vadere/vadere
into java_migration
8 jobs for
java_migration
in 36 seconds (queued for 1 second)
a5f023d1
1 related merge request:
!47 Migration to OpenJDK 11, solves #218 #217 #195 #210 #209
Pipeline
Needs
Jobs
8
Failed Jobs
2
Tests
0