The check would previously occur only for non-release builds
enabled an automatic merge when the pipeline for 7064b40e succeeds
merged
mentioned in commit 9248e4bc