Skip to content
Snippets Groups Projects
Commit 1a79f76c authored by erwan's avatar erwan
Browse files

ci: with the new docker image, opam update doesnt need sudo anymore

parent 848add09
No related branches found
No related tags found
No related merge requests found
Pipeline #168265 passed