CI: Centralize version management, including Rust (stable and nightly) and OCaml#1611
Merged
dannywillems merged 1 commit intodevelopfrom Nov 5, 2025
Merged
CI: Centralize version management, including Rust (stable and nightly) and OCaml#1611dannywillems merged 1 commit intodevelopfrom
dannywillems merged 1 commit intodevelopfrom