[spec] Add checks for removal/addition of GPU
Passed
Lucas Nussbaum
created pipeline for commit
54359159
, finished
1 related merge request: !118 Oar-properties generator: improve assignment of GPU ids to deal with removal of GPUs
4 minutes 35 seconds, queued for 0 seconds