Skip to content

GitLab

add _opam to ignored directories for file check

1 job for master in 30 minutes and 19 seconds (queued for 19 seconds)
e018a89f
No related merge requests found.