Temporary relocation of opam.ci.ocaml.org

infrastructure

05 May 2023

Due to operational difficulties, opam.ci.ocaml.org has temporarily moved to toxis.caelum.ci.dev. An HTTP redirect is in place. Please do not update your bookmarks.

This issue is being tracked on GitHub ocurrent/opam-repo-ci#220.