Bjarne Koll e10dcbf7ca
[ci skip] Improve build workflow conditions (#11842)
The goal of the build workflow is split into multiple requirements.
  1. Run on pushes to same repo.
  2. Run on PR open/reopen/syncs from repos that are not the same
     (PRs from the same repo are covered by 1)
  3. Run on labeled PRs that have the build-pr-jar flag.
2024-12-27 22:43:08 +01:00
..