[dev] Adjust GPU naming policy (bug 13081) (!231) · Merge requests · grid5000 / reference-repository · GitLab

Mentions légales du service

Snippets Groups Projects

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

Merged Lucas Nussbaum requested to merge gpu-naming-bug13081 into master 4 years ago

Activity

Lucas Nussbaum assigned to @ddelabro 4 years ago

assigned to @ddelabro
Lucas Nussbaum added 32 commits 4 years ago
added 32 commits

725674ac...ac5a19fa - 31 commits from branch master

6890b1ce - [dev] Adjust GPU naming policy (bug 13081)

Compare with previous version
Lucas Nussbaum added 3 commits 4 years ago
added 3 commits

6890b1ce...fc62e93e - 2 commits from branch master

1ff4a74b - [dev] Adjust GPU naming policy (bug 13081)

Compare with previous version
DELABROYE Dimitri merged 4 years ago

merged

Please register or sign in to reply