Fixed lint issues

Author: 0xMimir

.cargo/config.toml

@@ -0,0 +1,5 @@
+[build]
+rustflags = []
+
+[target.aarch64-apple-darwin]
+rustflags = ["-C", "link-args=-Wl,-undefined,dynamic_lookup"]

.github/actions/setup-build-deps/action.yml

@@ -27,7 +27,7 @@ runs:
       if: runner.os == 'macOS'
       shell: bash
       run: |
-        brew install protobuf
+        brew install protobuf ocaml opam
 
     - name: Install cargo-nextest
       if: inputs.install-nextest == 'true'

.github/actions/setup-ocaml/action.yml

@@ -11,3 +11,10 @@ runs:
       uses: ocaml/setup-ocaml@v3
       with:
         ocaml-compiler: ${{ inputs.ocaml_version }}
+
+    # - name: Setup OPAM environment
+    #   shell: bash
+    #   run: |
+    #     # Export all OPAM environment variables to GITHUB_ENV
+    #     # This avoids other steps to run `eval $(opam env)`
+    #     opam env | sed -E 's/; export [A-Za-z_][A-Za-z0-9_]*;?//g' >> $GITHUB_ENV

.github/workflows/ci.yaml

@@ -1,13 +1,13 @@
 name: Mina CI
 on:
   push:
-    branches: [ main, develop ]
+    branches: [main, develop]
   pull_request:
-    paths-ignore: [ "frontend" ]
+    paths-ignore: ["frontend"]
   workflow_dispatch:
     inputs:
       refresh_cache:
-        description: 'Refresh cargo cache'
+        description: "Refresh cargo cache"
         required: false
         type: boolean
         default: false
@@ -17,7 +17,7 @@ env:
   RUST_BACKTRACE: full
   MINA_PANIC_ON_BUG: true
   CARGO_INCREMENTAL: 1
-  RUSTFLAGS: "-C overflow-checks=off -C debug-assertions=off"
+  RUSTFLAGS: "-C overflow-checks=off -C debug-assertions=off -C link-args=-Wl,-undefined,dynamic_lookup"
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
@@ -40,13 +40,21 @@ jobs:
   ledger-tests:
     timeout-minutes: 20
     runs-on: ubuntu-24.04
+    strategy:
+      matrix:
+        ocaml_version: [4.14.2]
     steps:
       - name: Git checkout
         uses: actions/checkout@v5
 
       - name: Setup build dependencies
         uses: ./.github/actions/setup-build-deps
 
+      - name: Use shared OCaml setting up steps
+        uses: ./.github/actions/setup-ocaml
+        with:
+          ocaml_version: ${{ matrix.ocaml_version }}
+
       - name: Setup Rust
         uses: ./.github/actions/setup-rust
         with:
@@ -97,13 +105,21 @@ jobs:
   vrf-tests:
     timeout-minutes: 8
     runs-on: ubuntu-24.04
+    strategy:
+      matrix:
+        ocaml_version: [4.14.2]
     steps:
       - name: Git checkout
         uses: actions/checkout@v5
 
       - name: Setup build dependencies
         uses: ./.github/actions/setup-build-deps
 
+      - name: Use shared OCaml setting up steps
+        uses: ./.github/actions/setup-ocaml
+        with:
+          ocaml_version: ${{ matrix.ocaml_version }}
+
       - name: Setup Rust
         uses: ./.github/actions/setup-rust
         with:
@@ -140,9 +156,10 @@ jobs:
     # NOTE: If you add or remove platforms from this matrix, make sure to update
     # the documentation at website/docs/developers/getting-started.mdx
     strategy:
-      fail-fast: false  # Allow other platforms to continue if one fails
+      fail-fast: false # Allow other platforms to continue if one fails
       matrix:
         os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
+        ocaml_version: [4.14.2]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Git checkout
@@ -151,6 +168,11 @@ jobs:
       - name: Setup build dependencies
         uses: ./.github/actions/setup-build-deps
 
+      - name: Use shared OCaml setting up steps
+        uses: ./.github/actions/setup-ocaml
+        with:
+          ocaml_version: ${{ matrix.ocaml_version }}
+
       - name: Setup Rust
         uses: ./.github/actions/setup-rust
         with:
@@ -173,9 +195,10 @@ jobs:
     # NOTE: If you add or remove platforms from this matrix, make sure to update
     # the documentation at website/docs/developers/getting-started.mdx
     strategy:
-      fail-fast: false  # Allow other platforms to continue if one fails
+      fail-fast: false # Allow other platforms to continue if one fails
       matrix:
         os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
+        ocaml_version: [4.14.2]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Git checkout
@@ -184,22 +207,30 @@ jobs:
       - name: Setup build dependencies
         uses: ./.github/actions/setup-build-deps
 
+      - name: Use shared OCaml setting up steps
+        uses: ./.github/actions/setup-ocaml
+        with:
+          ocaml_version: ${{ matrix.ocaml_version }}
+
       - name: Setup WebAssembly environment
         uses: ./.github/actions/setup-wasm
         with:
           cache-prefix: wasm-${{ matrix.os }}-v0
 
       - name: Release build
         run: make build-wasm
+        env:
+          RUSTFLAGS: ""
 
   build-tests:
     timeout-minutes: 60
     # NOTE: If you add or remove platforms from this matrix, make sure to update
     # the documentation at website/docs/developers/getting-started.mdx
     strategy:
-      fail-fast: false  # Allow other platforms to continue if one fails
+      fail-fast: false # Allow other platforms to continue if one fails
       matrix:
         os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
+        ocaml_version: [4.14.2]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Git checkout
@@ -208,6 +239,11 @@ jobs:
       - name: Setup build dependencies
         uses: ./.github/actions/setup-build-deps
 
+      - name: Use shared OCaml setting up steps
+        uses: ./.github/actions/setup-ocaml
+        with:
+          ocaml_version: ${{ matrix.ocaml_version }}
+
       - name: Setup Rust
         uses: ./.github/actions/setup-rust
         with:
@@ -230,9 +266,10 @@ jobs:
     # NOTE: If you add or remove platforms from this matrix, make sure to update
     # the documentation at website/docs/developers/getting-started.mdx
     strategy:
-      fail-fast: false  # Allow other platforms to continue if one fails
+      fail-fast: false # Allow other platforms to continue if one fails
       matrix:
         os: [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
+        ocaml_version: [4.14.2]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Git checkout
@@ -241,6 +278,11 @@ jobs:
       - name: Setup build dependencies
         uses: ./.github/actions/setup-build-deps
 
+      - name: Use shared OCaml setting up steps
+        uses: ./.github/actions/setup-ocaml
+        with:
+          ocaml_version: ${{ matrix.ocaml_version }}
+
       - name: Setup Rust
         uses: ./.github/actions/setup-rust
         with:
@@ -259,7 +301,7 @@ jobs:
           retention-days: 7
 
   p2p-scenario-tests:
-    needs: [ build-tests, build-tests-webrtc ]
+    needs: [build-tests, build-tests-webrtc]
     runs-on: ubuntu-24.04
     timeout-minutes: 20
     container:
@@ -269,8 +311,15 @@ jobs:
       BPF_ALIAS: /coda/0.0.1/29936104443aaf264a7f0192ac64b1c7173198c1ed404c1bcff5e562e05eb7f6-0.0.0.0
     strategy:
       matrix:
-        test: [p2p_basic_connections, p2p_basic_incoming, p2p_basic_outgoing, p2p_pubsub, p2p_kad,
-               webrtc_p2p_basic_connections]
+        test:
+          [
+            p2p_basic_connections,
+            p2p_basic_incoming,
+            p2p_basic_outgoing,
+            p2p_pubsub,
+            p2p_kad,
+            webrtc_p2p_basic_connections,
+          ]
       fail-fast: false
 
     services:
@@ -288,10 +337,10 @@ jobs:
     steps:
       - name: Install libssl3t64 # Our binaries are built on a newer ubuntu and require libssl3t64
         run: |
-           apt-get update && \
-              apt-get install -y --no-install-recommends libssl3t64 && \
-              apt-get clean && \
-              rm -rf /var/lib/apt/lists/*
+          apt-get update && \
+            apt-get install -y --no-install-recommends libssl3t64 && \
+            apt-get clean && \
+            rm -rf /var/lib/apt/lists/*
 
       - name: Download tests
         uses: actions/download-artifact@v5
@@ -369,10 +418,10 @@ jobs:
     steps:
       - name: Install libssl3t64 # Our binaries are built on a newer ubuntu and require libssl3t64
         run: |
-           apt-get update && \
-              apt-get install -y --no-install-recommends libssl3t64 && \
-              apt-get clean && \
-              rm -rf /var/lib/apt/lists/*
+          apt-get update && \
+            apt-get install -y --no-install-recommends libssl3t64 && \
+            apt-get clean && \
+            rm -rf /var/lib/apt/lists/*
 
       - name: Download tests
         uses: actions/download-artifact@v5
@@ -426,10 +475,10 @@ jobs:
     steps:
       - name: Install libssl3t64 # Our binaries are built on a newer ubuntu and require libssl3t64
         run: |
-           apt-get update && \
-              apt-get install -y --no-install-recommends libssl3t64 && \
-              apt-get clean && \
-              rm -rf /var/lib/apt/lists/*
+          apt-get update && \
+            apt-get install -y --no-install-recommends libssl3t64 && \
+            apt-get clean && \
+            rm -rf /var/lib/apt/lists/*
 
       - name: Download tests
         uses: actions/download-artifact@v5
@@ -447,7 +496,7 @@ jobs:
 
   bootstrap-test:
     timeout-minutes: 4
-    needs: [ build, build-tests ]
+    needs: [build, build-tests]
     runs-on: ubuntu-24.04
     env:
       MINA_HOME: data

.github/workflows/doc-commands.yaml

@@ -22,6 +22,9 @@ concurrency:
 jobs:
   test-doc-commands:
     runs-on: ubuntu-22.04
+    strategy:
+      matrix:
+        ocaml_version: [4.14.2]
     steps:
       - name: Git checkout
         uses: actions/checkout@v5
@@ -36,6 +39,11 @@ jobs:
           toolchain: 1.84
           cache-prefix: test-doc-commands-v0
 
+      - name: Use shared OCaml setting up steps
+        uses: ./.github/actions/setup-ocaml
+        with:
+          ocaml_version: ${{ matrix.ocaml_version }}
+
       - name: Download circuits files
         uses: ./.github/actions/setup-circuits
 

.github/workflows/docs.yaml

@@ -35,7 +35,7 @@ jobs:
       - name: Setup build dependencies
         run: |
           sudo apt update
-          sudo apt install -y protobuf-compiler
+          sudo apt install -y protobuf-compiler ocaml
 
       - name: Install documentation dependencies
         run: make docs-install

.github/workflows/lint.yaml

@@ -12,6 +12,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
+        ocaml_version: [4.14.2]
         os: [ubuntu-24.04]
         toolchain: [1.84]
     steps:
@@ -20,6 +21,10 @@ jobs:
         uses: ./.github/actions/setup-build-deps
         with:
           include-sqlite: true
+      - name: Use shared OCaml setting up steps
+        uses: ./.github/actions/setup-ocaml
+        with:
+          ocaml_version: ${{ matrix.ocaml_version }}
       - name: Setup SQLite database for SQLx
         run: |
           sqlite3 /tmp/heartbeats.db < tools/heartbeats-processor/schema.sql
@@ -46,10 +51,15 @@ jobs:
       matrix:
         os: [ubuntu-24.04]
         toolchain: [nightly]
+        ocaml_version: [4.14.2]
     steps:
       - uses: actions/checkout@v5
       - name: Setup build dependencies
         uses: ./.github/actions/setup-build-deps
+      - name: Use shared OCaml setting up steps
+        uses: ./.github/actions/setup-ocaml
+        with:
+          ocaml_version: ${{ matrix.ocaml_version }}
       - name: Setup Rust
         uses: ./.github/actions/setup-rust
         with:

CHANGELOG.md

@@ -72,6 +72,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Use consistent `use` statements for fields. Replace `mina_hasher::Fp` with
   `mina_curves::pasta::Fp`.
   ([#1269](https://github.com/o1-labs/openmina/pull/1269/)).
+- **Proof systems**: Updated proof systems to use same version as Ocaml node
 - **CI**: set fail-fast to false to prevent cancellation of other jobs
   ([#1305](https://github.com/o1-labs/openmina/pull/1305))
 - **Website**: (temporary) new design, for a first release and rename OpenMina