Maybe you could open a new issue to discuss how we can rework the CI infrastructure, if you like.
IMO this is out of scope of this PR.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.