| IP |
Machine |
Model |
Threads |
Notes |
| 51.159.109.177 |
x86-bm-c9 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| 51.159.110.118 |
x86-bm-c8 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| 51.159.152.205 |
v2 |
Scaleway VM |
4 |
ocurrent/v2.ocaml.org |
| 51.159.157.216 |
ci4 |
KVM VM |
4 |
ocurrent/multicore-ci and ocurrent/solver-service |
| 51.159.167.254 |
ci5 |
Virtual |
4 |
ocurrent/ci.ocamllabs.io-deployer aka deploy.ci.ocaml.org |
| 51.159.190.183 |
v3c |
Scaleway SCW-PRO2-XS |
2 |
www.ocaml.org |
| 51.159.214.52 |
x86-bm-c5 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| 51.159.214.53 |
x86-bm-c4 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| 51.159.214.57 |
x86-bm-c6 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| 51.159.214.58 |
x86-bm-c7 |
Dell PowerEdge R720 |
32 |
Cluster worker |
| 51.159.31.165 |
ci.mirage.io |
Quanta Cloud Technology Inc. QuantaMicro X10E-9N |
8 |
ocurrent/mirage-ci |
| 51.159.79.64 |
staging |
Quanta Cloud Technology Inc. QuantaMicro X10E-9N |
8 |
ocurrent/ocaml.org |
| 51.159.83.169 |
v3b |
Scaleway SCW-PRO2-XS |
4 |
staging.ocaml.org |