There was a problem fetching the pipeline mini graph.
remove old CI
parent
4f73ad57
No related branches found
No related tags found
Pipeline #
build/opam-ci.sh
deleted
100755 → 0
Please register or sign in to comment