Marijn 5ea7a636b8 ci: skip dev image build on tags, wait for in-progress CI runs, improve quality error output (#171) ...

- Skip the dev image build job on tag pushes — it was wasted work since
  quality and tests are already skipped on tags
- Remove the unnecessary `needs: build` from verify-prior-run; it ran
  independently of the dev image anyway
- Make verify-prior-run poll (30s interval, 15 min max) so tagging
  immediately after a push to main waits for the CI run to finish rather
  than failing instantly
- Replace the yes/no outcomes string in "Assert all checks passed" with
  per-step ::error:: annotations so GitHub highlights exactly which
  quality check failed

2026-07-03 12:28:01 +00:00

..

workflows

ci: skip dev image build on tags, wait for in-progress CI runs, improve quality error output (#171)

2026-07-03 12:28:01 +00:00

dependabot.yml

ci: optimise build pipeline — shared dev image build and skip tests on tag push (#167)

2026-07-03 12:18:29 +02:00