Currently, and for quite some time to come, opam repo maintainers have to exercise a lot of discretion in which CI failures they accept when merging packages. Eventually, we would like this to be fully automated, but in the meantime we can at least make the process easier via a more useful partitioning of the signals we send to github.
CI results should broken out into two categories, warnings and errors.
Results sent to github as statuses should be grouped accordingly.
Once this is done, we can enable branch protection rules on the opam repo side.
Currently, and for quite some time to come, opam repo maintainers have to exercise a lot of discretion in which CI failures they accept when merging packages. Eventually, we would like this to be fully automated, but in the meantime we can at least make the process easier via a more useful partitioning of the signals we send to github.
This will prevent certain classes of errors we currently encounter from time to time, such as https://github.com/ocaml/opam-repository/pull/26046#issuecomment-2157830116
Required checks should include: