Harmen Stoppels d52a1b8279 Fix broken develop as CI didn't run on latest merge commit (#25531) ...

* CI for #25439 was not run on the latest merge commit, and fails after #25470
* Make it consistent

2021-08-20 08:06:47 +00:00

..

spack

Fix broken develop as CI didn't run on latest merge commit (#25531)

2021-08-20 08:06:47 +00:00