Skip to content
Snippets Groups Projects
Commit db58afdc authored by erwan's avatar erwan
Browse files

CI: allow the failure for the test_opam_test job

Indeed, it may fail if an ADT changes in lutils or rdbg-plugin, since
this repo can only be updated if the whole pipeline succeeds (to be
able te get the release number). The idea is to rerun this job manually
when it is the case.
parent a6ce1fc8
No related branches found
No related tags found
Loading
Checking pipeline status