Updates

ocaml · Dec 12, 2024 · e232486 · e232486
1 parent 451f962
commit e232486
Show file tree

Hide file tree

Showing 28 changed files with 294 additions and 71 deletions.
diff --git a/Makefile b/Makefile
@@ -1,5 +1,5 @@
 serve:
-	bundle exec -- jekyll serve --host 0.0.0.0
+	bundle exec -- jekyll serve --host 0.0.0.0 --port 8080
 
 build:
 	bundle exec -- jekyll build

diff --git a/_data/navigation.yml b/_data/navigation.yml
@@ -39,6 +39,10 @@ by-use:
         url: /by-use/macos-arm64
       - title: FreeBSD-x86_64
         url: /by-use/freebsd-x86_64
+      - title: Windows-amd64
+        url: /by-use/windows-amd64
+      - title: OpenBSD-amd64
+        url: /by-use/openbsd-amd64
 
 by-location:
   - title: Locations

diff --git a/_machines/arm64-jade-1.md b/_machines/arm64-jade-1.md
diff --git a/_machines/bremusa.md b/_machines/bremusa.md
@@ -7,9 +7,8 @@ model: PowerEdge R630
 serial: DLDZGL2
 os: Ubuntu 22.04.3 LTS
 threads: 72
-notes: Benchmarking. /dev/sdb is unused
 location: Caelum
-use: benchmarking
+pool: openbsd-amd64
 disks:
   - 400GB SSD
   - 400GB SSD

diff --git a/_machines/c2-1.md b/_machines/c2-1.md
@@ -6,8 +6,7 @@ model: PowerEdge R6415
 os: Ubuntu 22.04
 threads: 48
 location: Equinix
-pool: linux-x86_64
-notes: Cluster worker
+notes: Dune preview
 processor: 'AMD EPYC 7401P 24-Core Processor'
 disks:
   - 2 x 128GB SSD

diff --git a/_machines/c2-2.md b/_machines/c2-2.md
@@ -1,13 +1,11 @@
 ---
 name: c2-2
-ip: 136.144.58.181
-fqdn: c2-2.ocamllabs.io
+fqdn: c2-2.equinix.ci.dev
 model: PowerEdge R6415
 os: Ubuntu 22.04
 threads: 48
 location: Equinix
-pool: linux-x86_64
-notes: Cluster worker
+notes: opam2web / Docker registry
 processor: 'AMD EPYC 7401P 24-Core Processor'
 disks:
   - 2 x 128GB SSD

diff --git a/_machines/c2-3.md b/_machines/c2-3.md
@@ -1,13 +1,11 @@
 ---
 name: c2-3
-ip: 136.144.51.234
-fqdn: c2-3.ocamllabs.io
+fqdn: c2-3.equinix.ci.dev
 model: PowerEdge R6415
 os: Ubuntu 22.04
 threads: 48
 location: Equinix
-pool: linux-x86_64
-notes: Cluster worker
+notes: OCaml-CI, Prometheus, Grafana
 processor: 'AMD EPYC 7401P 24-Core Processor'
 disks:
   - 2 x 128GB SSD

diff --git a/_machines/c2-4.md b/_machines/c2-4.md
@@ -1,13 +1,11 @@
 ---
 name: c2-4
-ip: 147.75.199.25
-fqdn: c2-4.ocamllabs.io
+fqdn: c2-4.equinix.ci.dev
 model: PowerEdge R6415
 os: Ubuntu 22.04
 threads: 48
 location: Equinix
-pool: linux-x86_64
-notes: Cluster worker
+notes: opam-repo-ci
 processor: 'AMD EPYC 7401P 24-Core Processor'
 disks:
   - 2 x 128GB SSD

diff --git a/_machines/odawa.md b/_machines/odawa.md
@@ -6,10 +6,10 @@ manufacturer: Dell
 model: PowerEdge R6525
 serial: 47B6KH3
 notes: Windows Base Image Builder
-pool: windows-x86_64
+pool: windows-amd64
 location: Caelum
 ip: 128.232.124.247
-os: Windows 2022 DC
+os: Ubuntu 24.04
 threads: 256
 processor: 'AMD EPYC 7763 64-Core Processor'
 ---

diff --git a/_machines/opam-2.md b/_machines/opam-2.md
diff --git a/_machines/opam-3.md b/_machines/opam-3.md
diff --git a/_machines/x86-bm-c1.md b/_machines/x86-bm-c1.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c1
+fqdn: x86-bm-c1.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c10.md b/_machines/x86-bm-c10.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c10
+fqdn: x86-bm-c10.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c11.md b/_machines/x86-bm-c11.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c11
+fqdn: x86-bm-c11.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c12.md b/_machines/x86-bm-c12.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c12
+fqdn: x86-bm-c12.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c13.md b/_machines/x86-bm-c13.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c13
+fqdn: x86-bm-c13.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c14.md b/_machines/x86-bm-c14.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c14
+fqdn: x86-bm-c14.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c15.md b/_machines/x86-bm-c15.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c15
+fqdn: x86-bm-c15.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c16.md b/_machines/x86-bm-c16.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c16
+fqdn: x86-bm-c16.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c17.md b/_machines/x86-bm-c17.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c17
+fqdn: x86-bm-c17.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c18.md b/_machines/x86-bm-c18.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c18
+fqdn: x86-bm-c18.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c19.md b/_machines/x86-bm-c19.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c19
+fqdn: x86-bm-c19.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c2.md b/_machines/x86-bm-c2.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c2
+fqdn: x86-bm-c2.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c20.md b/_machines/x86-bm-c20.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c20
+fqdn: x86-bm-c20.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %} 
diff --git a/_machines/x86-bm-c3.md b/_machines/x86-bm-c3.md
@@ -0,0 +1,16 @@
+---
+name: x86-bm-c3
+fqdn: x86-bm-c3.sw.ocaml.org
+manufacturer: Dell
+model: PowerEdge R720
+os: Ubuntu 22.04
+threads: 32
+memory: 256GB
+location: Scaleway
+pool: linux-x86_64
+notes: Cluster worker
+processor: 'Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz'
+disks:
+  - 2 x 950GB SSD
+---
+{% include details.html %}