Skip to content

circleci: install opam 1 (fixes the CI)#265

Merged
justincormack merged 1 commit intomoby:masterfrom
djs55:simple-opam-fix
Oct 24, 2019
Merged

circleci: install opam 1 (fixes the CI)#265
justincormack merged 1 commit intomoby:masterfrom
djs55:simple-opam-fix

Commits

Commits on Oct 24, 2019