[nancy][grvingt] bug fix on bios version for grvingt[7,15]; it was too simple...

[nancy][grvingt] bug fix on bios version for grvingt[7,15]; it was too simple (dell delivered motherboards with different bios version the same week ...)
4 jobs for master in 1 minute and 39 seconds
Status Job ID Name Coverage
  Validate
passed #370357
grid5000-docker
rubocop

00:00:33

passed #370358
grid5000-docker
validate-data

00:00:52

 
  Generate
passed #370359
grid5000-docker
generate-reference-api

00:00:41

 
  Deploy
passed #370360
grid5000-shell
deploy

00:00:06