| Machine |
Model |
Threads |
Notes |
| ci.mirage.io |
Quanta Cloud Technology Inc. QuantaMicro X10E-9N |
8 |
ocurrent/mirage-ci |
| ci3 |
KVM VM |
4 |
ci3.ocamllabs.io - ocluster scheduler |
| ci4 |
KVM VM |
4 |
ocurrent/multicore-ci and ocurrent/solver-service |
| ci5 |
Virtual |
4 |
ocurrent/ci.ocamllabs.io-deployer aka deploy.ci.ocaml.org |
| ci6 |
KVM VM |
|
looks unused -- was probably docs.ci.ocamllabs.io |
| dev1 |
VM |
8 |
kit-ty-kate opam testing |
| docs-staging |
Scaleway SCW-PRO2-M |
16 |
Staging site for docs.ocaml.org. Review in September 2023. |
| opam-4 |
Scaleway VM |
2 |
opam.ocaml.org |
| opam-5 |
Scaleway VM |
2 |
opam.ocaml.org |
| pascal |
PowerEdge C6525 |
32 |
Benchmarking team. Current-bench and OCaml benchmarking projects. |
| riscv-bm-a1 |
RV1 |
4 |
|
| riscv-bm-a2 |
RV1 |
4 |
|
| riscv-bm-a3 |
RV1 |
4 |
|
| riscv-bm-a4 |
RV1 |
4 |
|
| staging |
Quanta Cloud Technology Inc. QuantaMicro X10E-9N |
8 |
ocurrent/ocaml.org |
| v2 |
Scaleway VM |
4 |
ocurrent/v2.ocaml.org |
| v3b |
Scaleway SCW-PRO2-XS |
4 |
staging.ocaml.org |
| v3c |
Scaleway SCW-PRO2-XS |
2 |
www.ocaml.org |
| watch |
Scaleway SCW-GP1-XS |
4 |
PeerTube host at https://watch.ocaml.org |
| x86-bm-c1 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| x86-bm-c2 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| x86-bm-c3 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| x86-bm-c4 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| x86-bm-c5 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| x86-bm-c6 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| x86-bm-c7 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| x86-bm-c8 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| x86-bm-c9 |
Dell PowerEdge R720 |
32 |
Cluster worker |