Skip to content
Snippets Groups Projects
Commit ae9be4bc authored by Ralf Jung's avatar Ralf Jung
Browse files

update opam CI

parent 25c07755
No related branches found
No related tags found
No related merge requests found
Pipeline #