Merge branch 'v0.7.2' of gitlab.mpcdf.mpg.de:nomad-lab/nomad-FAIR into v0.7.2

5 jobs for v0.7.2 in 13 minutes and 49 seconds (queued for 1 second)