mirror of
https://github.com/mauriceboe/TREK.git
synced 2026-11-13 15:51:00 +00:00
175413b3c1
A fix to a release workflow changes nothing that the tests cover, yet the gate wanted a full new test run on it. With ci_from the release takes ci-ok from the commit main's code comes from, provided that commit is an ancestor of main, everything outside .github/ is identical, and one of its ci-ok runs is green.