## 🐞 Bug report The changes made in #1123 seem to lead to the CI running twice on internal pull requests (e.g. those created by the dependency bot):  See #1127 for an example. cc @Ilyesbdlala