General

Machine Model OS Threads Location Notes
armyofdockerness Caelum Powered off
c2-1 PowerEdge R6415 Ubuntu 22.04 48 Equinix Dune preview
c2-2 PowerEdge R6415 Ubuntu 22.04 48 Equinix opam2web / Docker registry
c2-3 PowerEdge R6415 Ubuntu 22.04 48 Equinix OCaml-CI, Prometheus, Grafana
c2-4 PowerEdge R6415 Ubuntu 22.04 48 Equinix opam-repo-ci
ci.mirage.io Quanta Cloud Technology Inc. QuantaMicro X10E-9N Ubuntu 20.04.4 8 Scaleway ocurrent/mirage-ci
ci3 KVM VM Debian Buster 4 Scaleway ci3.ocamllabs.io - ocluster scheduler
ci4 KVM VM Ubuntu 22.04.1 4 Scaleway ocurrent/multicore-ci and ocurrent/solver-service
ci5 Virtual Ubuntu 20.04.3 4 Scaleway ocurrent/ci.ocamllabs.io-deployer aka deploy.ci.ocaml.org
ci6 KVM VM Scaleway looks unused -- was probably docs.ci.ocamllabs.io
comanche PowerEdge R7425 Ubuntu 18.04 128 Caelum Irmin Team
dev1 VM Ubuntu 22.04.1 8 Scaleway kit-ty-kate opam testing
dev2 VM Caelum Naomi/Jan
doc Dell PowerEdge R210 II Ubuntu 22.04 4 Caelum BIND, netbootxyz and teleport
docs-staging Scaleway SCW-PRO2-M Ubuntu 22.04.2 16 Scaleway Staging site for docs.ocaml.org. Review in September 2023.
dopey PowerEdge R210 II 8 Caelum Console ports for mini-itx
eumache Dell PowerEdge R630 Ubuntu 21.04 72 Caelum docs.ci.ocaml.org and docs-data.ocaml.org
grumpy PowerEdge R210 II Ubuntu 22.04 4 Caelum Git Repo
happy EdgeOS Caelum Router
hopi Dell PowerEdge R7425 Ubuntu 22.04 128 Caelum OCaml on Windows Desktops
michael Dell PowerEdge R420 24 Caelum OCaml on Windows benchmarking (@eutro)
opam-4 Scaleway VM Ubuntu 22.04.1 2 Scaleway opam.ocaml.org
opam-5 Scaleway VM Ubuntu 22.04.1 2 Scaleway opam.ocaml.org
raphael 12 Caelum Powered off - serious hardware fault
sleepy Dell PowerEdge R210 II Ubuntu 18.04.2 4 Caelum Doesn't appear to be doing anything
staging Quanta Cloud Technology Inc. QuantaMicro X10E-9N Ubuntu 20.04.2 8 Scaleway ocurrent/ocaml.org
tigger SuperMicro h8qg6/h8qgi 48 Caelum Powered off. Frequent reboots due to watchdog timer events.
v2 Scaleway VM Ubuntu 20.04.3 4 Scaleway ocurrent/v2.ocaml.org
v3a Supermicro SYS-2028BT-HNC0R+ Ubuntu 20.04.3 48 Equinix ocurrent/v3.ocaml.org-server aka www.ocaml.org. Machine called `ocaml-www-2` at Equinix
v3b Scaleway SCW-PRO2-XS Ubuntu 22.04.1 LTS 4 Scaleway staging.ocaml.org
v3c Scaleway SCW-PRO2-XS Ubuntu 22.04.1 LTS 2 Scaleway www.ocaml.org
watch Scaleway SCW-GP1-XS Ubuntu 20.04.5 4 Scaleway PeerTube host at https://watch.ocaml.org