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-c10 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c11 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c12 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c13 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c14 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c15 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c16 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c17 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c18 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c19 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c2 |
Dell PowerEdge R720 |
32 |
Cluster worker |
x86-bm-c20 |
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 |