Commit 4e618506 authored by erwan's avatar erwan

Build: don't run opam-test before pushing; otherwise the release are not computed correctly

parent 76174b80
Pipeline #28159 passed with stages
in 8 minutes and 51 seconds
......@@ -22,7 +22,7 @@ cia-no-test:
git commit -a -F log
push: opam-test
push:
git push
......
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