• erwan's avatar
    CI: allow the failure for the test_opam_test job · 3ebd8801
    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.
Validating GitLab CI configuration… Learn more
.gitlab-ci.yml 1.19 KB