ci: split into Ubuntu and macOS workflows, drop Rust < 1.81

Author: dannywillems

.cargo/config.toml

@@ -0,0 +1,4 @@
+# Required for macOS support with ocaml-rs
+# See https://github.com/zshipko/ocaml-rs
+[build]
+rustflags = ["-C", "link-args=-Wl,-undefined,dynamic_lookup"]

.github/actions/build-and-test/action.yml

@@ -0,0 +1,72 @@
+name: Build and Test
+description: Setup environment and run tests
+
+inputs:
+  rust_toolchain_version:
+    description: Rust toolchain version
+    required: true
+  ocaml_version:
+    description: OCaml version
+    required: true
+
+runs:
+  using: composite
+  steps:
+    - name: Setup Rust toolchain ${{ inputs.rust_toolchain_version }}
+      uses: dtolnay/rust-toolchain@master
+      with:
+        toolchain: ${{ inputs.rust_toolchain_version }}
+        components: clippy
+
+    - name: Install Rust nightly for formatting
+      shell: bash
+      run: rustup toolchain install nightly --component rustfmt
+
+    - name: Set macOS linker flags
+      if: runner.os == 'macOS'
+      shell: bash
+      run: echo "RUSTFLAGS=$RUSTFLAGS -C link-args=-Wl,-undefined,dynamic_lookup" >> $GITHUB_ENV
+
+    - name: Setup OCaml ${{ inputs.ocaml_version }}
+      uses: ocaml/setup-ocaml@v3
+      with:
+        ocaml-compiler: ${{ inputs.ocaml_version }}
+
+    - name: Setup OCaml dependencies
+      shell: bash
+      run: |
+        eval $(opam env)
+        make setup-ocaml-deps
+
+    - name: List OCaml and Rust versions
+      shell: bash
+      run: |
+        eval $(opam env)
+        echo "OCaml version $(ocamlc --version) (location = $(which ocamlc))"
+        echo "OPAM version $(opam --version) (location = $(which opam))"
+        echo "Rust version $(rustc --version) (location = $(which rustc))"
+
+    - name: Enforce Rust and OCaml formatting
+      shell: bash
+      run: |
+        eval $(opam env)
+        cargo install cargo-sort --version 1.0.9
+        make check-format
+
+    - name: Lint (clippy)
+      shell: bash
+      run: |
+        eval $(opam env)
+        make lint
+
+    - name: Build and run tests
+      shell: bash
+      run: |
+        eval $(opam env)
+        dune build
+        dune runtest
+
+    - name: Check that up-to-date bindings are checked in
+      shell: bash
+      run: |
+        git diff --exit-code ":(exclude)rust-toolchain"

.github/workflows/build-macos.yml

@@ -0,0 +1,31 @@
+name: Build macOS
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+
+env:
+  RUSTFLAGS: -Coverflow-checks=y -Cdebug-assertions=y
+  CARGO_INCREMENTAL: 1
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+    strategy:
+      matrix:
+        rust_toolchain_version: ["1.81", "1.82", "stable"]
+        # OCaml 5 not supported on macOS yet
+        ocaml_version: [4.14]
+    runs-on: macos-latest
+    name: Rust ${{ matrix.rust_toolchain_version }}, OCaml ${{ matrix.ocaml_version }}
+    steps:
+      - name: Checkout PR
+        uses: actions/checkout@v4
+
+      - name: Build and test
+        uses: ./.github/actions/build-and-test
+        with:
+          rust_toolchain_version: ${{ matrix.rust_toolchain_version }}
+          ocaml_version: ${{ matrix.ocaml_version }}

.github/workflows/build-ubuntu.yml

@@ -0,0 +1,31 @@
+name: Build Ubuntu
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+
+env:
+  RUSTFLAGS: -Coverflow-checks=y -Cdebug-assertions=y
+  CARGO_INCREMENTAL: 1
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+    strategy:
+      matrix:
+        rust_toolchain_version: ["1.81", "1.82", "stable"]
+        ocaml_version: [4.14, 5.2]
+        os: ["ubuntu-latest", "ubuntu-24.04-arm"]
+    runs-on: ${{ matrix.os }}
+    name: Rust ${{ matrix.rust_toolchain_version }}, OCaml ${{ matrix.ocaml_version }}, ${{ matrix.os }}
+    steps:
+      - name: Checkout PR
+        uses: actions/checkout@v4
+
+      - name: Build and test
+        uses: ./.github/actions/build-and-test
+        with:
+          rust_toolchain_version: ${{ matrix.rust_toolchain_version }}
+          ocaml_version: ${{ matrix.ocaml_version }}

.github/workflows/ci.yml

@@ -12,6 +12,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - **Dependencies**: bump ocaml-rs from `0.22.4` to `1.3.0` to support OCaml5
 - **CI**: add stable Rust version to test matrix
   ([#46](https://github.com/o1-labs/ocaml-gen/pull/46))
+- **CI**: add macos-latest runner, drop Rust versions below 1.81
+  ([#47](https://github.com/o1-labs/ocaml-gen/pull/47))
 
 ## 1.0.0