Skip to content
Snippets Groups Projects

opam: retrieve opam from $PATH with shutil.which

Passed
Jenkins Bot created pipeline for commit ad6644a6
, finished
1 related merge request: !477 opam: retrieve opam from $PATH with shutil.which
branch
2 jobs