Skip to content
Snippets Groups Projects
  • erwan's avatar
    db58afdc
    CI: allow the failure for the test_opam_test job · db58afdc
    erwan authored
    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.
    db58afdc
    History
    CI: allow the failure for the test_opam_test job
    erwan authored
    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.