The two separate workflows try to serve both types of pushes, early and
almost ready. The separate-test j8/j11 workflows are for those who push
early patches, or special cases. The j8/j11 pre-commit workflows are for
final stages, and it’s probably what those who push mostly-final patches
would use
Thank you for responding,
If there's an option that Benedict has suggested (to allow folks who push
mostly-final patches, and the folks who push rather-early patches and then
update them continuously, to coexist and be able to quickly switch between
configs) I'd be more in favour of this rather th
