Jekyll2026-06-08T13:40:23+00:00/feed.xmlOCaml InfrastructureWIki to hold the information about the machine resources available to OCaml.orgCluster workers upgraded to Ubuntu 26.042026-06-08T00:00:00+00:002026-06-08T00:00:00+00:00/2026/06/08/cluster-workers-ubuntu-26-04-upgradeAll Linux cluster workers upgraded from Ubuntu 24.04 to 26.04 (kernel 6.8 → 7.0):

  • linux-x86_64: asteria, bremusa, clete, doris, eumache, laodoke, odawa, phoebe, toxis
  • linux-arm64: ainia, kydoime, molpadia, okypous, ocaml-1, ocaml-2
  • linux-ppc64: orithia, scyleia
  • linux-s390x: s390x-worker-01

riscv-bm-01–04 remain on Ubuntu 24.04; the hardware does not support 26.04.

]]>Fermat upgraded to Ubuntu 24.042026-05-21T00:00:00+00:002026-05-21T00:00:00+00:00/2026/05/21/fermat-ubuntu-24-04-upgradeThe benchmarking server fermat.caelum.ci.dev has been upgraded from Ubuntu 22.04 to 24.04, taking the kernel from 5.15 to 6.8. The trigger was a request from Thomas, who was trying to benchmark the effect of some io_uring flags that are not available on 5.15. The newer kernel covers every io_uring addition made since 5.15, so those benchmarks can now proceed.

]]>Revert Posthog Analytics on ocaml.org2026-04-03T00:00:00+00:002026-04-03T00:00:00+00:00/2026/04/03/revert-posthog-analyticsThe Posthog analytics tracking added in PR #3101 has been reverted in PR #3594. The site returns to using Plausible as the sole analytics provider. Plausible continued to collect metrics throughout the period that Posthog was active, so there is a continuous set of statistics available with no gaps in coverage.

]]>OCaml CI services migration from Scaleway to Cambridge complete2026-04-02T00:00:00+00:002026-04-02T00:00:00+00:00/2026/04/02/scaleway-to-cambridge-migrationSeveral OCaml community and CI services have been migrated from Scaleway in Paris to the Cambridge Computer Laboratory, as our Scaleway sponsorship credits have now expired. The affected services include:

Multiple Scaleway VMs and baremetal servers have been consolidated onto fewer machines in Cambridge. Full technical details of the migration are available in Mark Elvers’ blog post.

]]>Mark Elvers and Anil MadhavapeddyMigrating watch.ocaml.org from Scaleway to Cambridge2026-03-27T00:00:00+00:002026-03-27T00:00:00+00:00/2026/03/27/watch-ocaml-org-migrationwatch.ocaml.org has been migrated from its Scaleway-hosted VM to a virtual machine at the Cambridge Computer Laboratory. The primary motivation for this move is to reduce hosting costs, as our Scaleway sponsorship credits have now expired.

The new VM is hosted using Xen Orchestra, which is itself a management toolstack written in OCaml via XAPI which is nice for a community OCaml video service!

The PeerTube instance and its data have been migrated across, and the service is now running as before with no user visible changes (we hope). The Ansible playbook and OCurrent-based deployment pipeline documented previously continue to manage updates to the service.

This was part of a broader migration of OCaml CI services from Scaleway to Cambridge.

]]>Mark Elvers and Anil MadhavapeddyCurrent Bench Maintenance2024-02-19T00:00:00+00:002024-02-19T00:00:00+00:00/2024/02/19/current-bench-maintenanceDue to storage related maintenance operations on Monday 19th February ‘24 between 6:30am and 9:30am (UTC+1), the current-bench benchmarking service will be unavailable.

Thank you for your patience and understanding during this time.

]]>Electrial Work in the Datacentre2024-01-14T00:00:00+00:002024-01-14T00:00:00+00:00/2024/01/14/electrical-workThere is an electrical shutdown for essential maintenance this weekend, which will affect large parts of the cluster. All Power9, ARM64, RISC-V, Windows and FreeBSD workers and docs.ci.ocaml.org, docs-data.ocaml.org and the benchmarking servers will be unavailable. x86_64 workers will be substantially reduced. Service is expected to resume late on Sunday evening.

]]>Relocating opam.ci.ocaml.org and ocaml.ci.dev2023-12-04T00:00:00+00:002023-12-04T00:00:00+00:00/2023/12/04/services-movedAbout six months ago, opam-repo-ci (opam.ci.ocaml.org) suffered from a lack of system memory (issue 220) which caused it to be moved to the machine hosting ocaml-ci (ocaml.ci.dev).

Subsequently, that machine suffered from BTRFS volume corruption (issue 51). Therefore, we moved both services to a larger new server. The data was efficiently migrated using BTRFS tools: btrfs send | btrfs receive.

Since the move, we have seen issues with BTRFS metadata. Plus, we have suffered from a build-up of subvolumes, as reported by other users: Docker gradually exhausts disk space on BTRFS.

Unfortunately, both services went down on Friday evening (issue 85). Analysis showed over 500 BTRFS subvolumes, a shortage of metadata space, and insufficient space to perform a BTRFS rebalance.

Returning to the original configuration of splitting the ci.dev and OCaml.org services, they have been moved onto new and separate hardware. The underlying filesystem is now a RAID1-backed ext4, formatted with -i 8192 in order to ensure the availability of sufficient inodes. Docker uses Overlayfs. RSYNC was used to copy the databases and logs from the old server. This change should add resilience and has doubled the capacity for storing history logs.

]]>macOS Sonoma Update2023-11-09T00:00:00+00:002023-11-09T00:00:00+00:00/2023/11/09/macos-sonomaOBuilder workers for both Intel and Apple Silicon have been updated from macOS Ventura to macOS Sonoma 14.1.1.

From today, ocaml-ci and opam-repo-ci will test against Sonoma rather than Ventura.

]]>Current Bench Maintenance2023-11-06T00:00:00+00:002023-11-06T00:00:00+00:00/2023/11/06/current-bench-maintenanceDue to storage related maintenance operations on Wednesday 8th November ‘23 between 12:00pm and 3:00pm (UTC+1), the current-bench benchmarking service will be unavailable.

Thank you for your patience and understanding during this time.

]]>