| Machine |
Model |
OS |
Threads |
Location |
Notes |
| armyofdockerness |
|
|
|
Caelum |
Powered off |
| autumn |
Super Server |
Ubuntu 22.04.5 LTS |
8 |
Caelum |
Benchmarking team. Current-bench and OCaml benchmarking projects. |
| basil |
Supermicro |
Ubuntu 24.04.3 LTS |
40 |
Caelum |
|
| chives |
Supermicro |
Ubuntu 24.04.2 LTS |
40 |
Caelum |
|
| 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 22.04.5 LTS |
4 |
Scaleway |
ocurrent/ci.ocamllabs.io-deployer aka deploy.ci.ocaml.org |
| ci6 |
KVM VM |
Ubuntu 20.04.5 LTS |
|
Scaleway |
looks unused -- was probably docs.ci.ocamllabs.io |
| dev1 |
VM |
Ubuntu 22.04.2 LTS |
8 |
Scaleway |
kit-ty-kate opam testing |
| dev2 |
VM |
|
|
Caelum |
Naomi/Jan |
| dill |
Supermicro |
Ubuntu 24.04.2 LTS |
40 |
Caelum |
|
| doc |
Dell PowerEdge R210 II |
Ubuntu 22.04.5 LTS |
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 26.04 LTS |
72 |
Caelum |
docs.ci.ocaml.org and docs-data.ocaml.org |
| fermat |
SuperMicro h8qg6/h8qgi |
Ubuntu 24.04 LTS |
48 |
Caelum |
Parallel benchmarks. Physical sticker on the machine reads "roo". |
| grumpy |
PowerEdge R210 II |
Ubuntu 22.04 |
4 |
Caelum |
Git Repo |
| happy |
|
EdgeOS |
|
Caelum |
Router |
| hopi |
Dell PowerEdge R7425 |
Ubuntu 22.04.4 LTS |
128 |
Caelum |
OCaml on Windows Desktops |
| michael |
Dell PowerEdge R420 |
|
24 |
Caelum |
OCaml on Windows benchmarking (@eutro) |
| mint |
Supermicro |
Ubuntu 24.04.4 LTS |
40 |
Caelum |
|
| navajo |
Dell PowerEdge R7425 |
Ubuntu 22.04.4 LTS |
128 |
Caelum |
Benchmark Tooling Team. Sandmark benchmarking. |
| opam-4 |
Scaleway VM |
Ubuntu 22.04.5 LTS |
2 |
Scaleway |
opam.ocaml.org |
| opam-5 |
Scaleway VM |
Ubuntu 22.04.5 LTS |
2 |
Scaleway |
opam.ocaml.org |
| pascal |
PowerEdge C6525 |
Ubuntu 22.04.4 LTS |
32 |
Scaleway |
Benchmarking team. Current-bench and OCaml benchmarking projects. |
| raphael |
|
|
12 |
Caelum |
Powered off - serious hardware fault |
| sage |
Supermicro |
Ubuntu 24.04.2 LTS |
40 |
Caelum |
docs.ci (odoc 3) |
| 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 |
| thyme |
Supermicro |
Ubuntu 24.04.4 LTS |
40 |
Caelum |
|
| tigger |
SuperMicro h8qg6/h8qgi |
|
48 |
Caelum |
Powered off. Frequent reboots due to watchdog timer events. |
| turing |
Precision 7820 Tower |
Ubuntu 22.04.3 LTS |
28 |
IIT Madras |
Benchmarking Team -- Used for Sandmark; requires ZeroTier connection |
| v2 |
Scaleway VM |
Ubuntu 20.04.6 LTS |
4 |
Scaleway |
ocurrent/v2.ocaml.org |
| v3b |
Scaleway SCW-PRO2-XS |
Ubuntu 22.04.5 LTS |
4 |
Scaleway |
staging.ocaml.org |
| v3c |
Scaleway SCW-PRO2-XS |
Ubuntu 22.04.1 LTS |
2 |
Scaleway |
www.ocaml.org |
| watch |
Xen Orchestra |
Ubuntu 22.04.5 LTS |
|
Cambridge Computer Laboratory |
PeerTube host at https://watch.ocaml.org |
| winter |
Super Server |
Ubuntu 22.04.5 LTS |
16 |
Caelum |
General purpose machine, typically for benchmarking by compiler developers. Primary users nickbarnes, polytypic, fabrice, sadiq, shakthi |