This reverts commit 1e2422b6ba, because it caused CI to be *entirely* skipped in some cases.
1e2422b6ba