Commit 3ebd8801 authored by erwan's avatar erwan

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 2926e5a5
Pipeline #23504 passed with stages
in 8 minutes and 54 seconds
......@@ -28,6 +28,11 @@ test_opam_test:
- opam update
- opam depext -y mlgmpidl lutin
- opam install -y lutin
allow_failure: true
# 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.
release:
before_script:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment