Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
grid5000
reference-repository
Merge requests
!67
Merged
Created
Jan 19, 2020
by
Lucas Nussbaum
@lnussbau
Owner
Options
Various fixes (opa property, creation of deploy and besteffort, cosmetic stuff)
Overview
1
Commits
6
Pipelines
2
Changes
17
Several commits to fix various issues in the OAR properties generator:
bug 11245
https://intranet.grid5000.fr/bugzilla/show_bug.cgi?id=11245
bug 11352
https://intranet.grid5000.fr/bugzilla/show_bug.cgi?id=11352
bug 10705
https://intranet.grid5000.fr/bugzilla/show_bug.cgi?id=10705
Edited
Jan 21, 2020
by
Pierre Neyron