How to redo builds
The original build of !68 (merged) was affected by ParamFiles not being released. After doing that, I wanted to do a new build to make sure the tests would work this time. However,
- the nightly dashboard offers no way to do it
- amending the commit and force pushing (triggers a new GitLab CI pipeline) also does not result in a new build
So I ended up clicking rebuild on the jenkins checkout job, which got a new job.
Is this the way to do this? In any case, we should describe in the README here how to redo a build in cases where
- the stack definition did not change (e.g. ParamFiles release, or a re-tag)
- the stack definition changed (maybe this is automatically handled already)