I do not see a real benefit in having it their, any code that will make it into the main branch will be checked by CI in an extra workflow, so I don’t think we need it there and can remove it.
I do not see a real benefit in having it their, any code that will make it into the main branch will be checked by CI in an extra workflow, so I don’t think we need it there and can remove it.