Closed kit-ty-kate closed 3 years ago
We need to do something about CI ._.
The patch looks good. @AltGr ?
https://github.com/OCamlPro/ocp-index/commit/a4d9a2e22a511eeba08b769411b1304679151909 broke ocp-browser on OCaml 4.12, I fixed that in ecc36c7 and added OCaml up to 4.12 in CI.
Ultimately I suggest you to switch to github actions but this can wait and as far as I know it's nothing I can do on my own as a contributor AFAIK.
Could someone with the appropriate rights enable Github Actions?
Github Actions apparently can't be enabled via a PR. So it should be enabled automatically once this PR is merged. Here is the CI result from this run: https://github.com/kit-ty-kate/ocp-index/actions/runs/559595363
Everything is green so this should be good to go.
Thanks!
would it be possible to have a release whenever one of you two have some time?
Equivalence between
(true, true)
and(NoVariance, NoInjectivity)
can be found in this commit: https://github.com/ocaml/ocaml/commit/603506aa34d0e5f7a9745c988777776ccb734094