Skip to content
Snippets Groups Projects

CI: do not add the 1.2 opam repo

Failed
erwan created pipeline for commit 79b44bd6
, finished
For 2.14.8
latest
2 jobs 1 minute 29 seconds, queued for 2 seconds