search

ocaml / infrastructure

WIki to hold the information about the machine resources available to OCaml.org
40 stars 9 forks source link

check.ocamllabs.io in ocaml.org #40

Closed cuihtlauac closed 1 year ago

cuihtlauac commented 1 year ago

I have a pending PR to add opam package build check results in package documentation https://github.com/ocaml/ocaml.org/pull/977 using https://check.ocamllabs.io

This uses the http rest API at http://check.ocamllabs.io/api/v1/latest/packages which lies outside the ocaml infrastructure. Would it make sense to have it in ocaml.org instead?

CC: @tmattio, @kit-ty-kate

mtelvers commented 1 year ago

@cuihtlauac I will work with @kit-ty-kate to update this. The new name is already available: check.ci.ocaml.org

mtelvers commented 1 year ago

https://check.ci.ocaml.org now replaces http://check.ocamllabs.io with an HTTP 301 redirect on the old URL.

Note the change to https from http.

Thanks to @kit-ty-kate

avsm commented 1 year ago

And thanks for the infra.ocaml.org post about this as well :-)