Log environment info

cknitt · cknitt · commit e2dd38b28ef9 · 2025-07-19T06:34:27.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -240,6 +240,12 @@ jobs:
           fi
         shell: bash
 
+      - name: Log environment info
+        run: |
+          echo OPAM version: $(opam --version)
+          echo Path: $PATH
+        shell: bash
+
       - name: Compiler build state key
         id: compiler-build-state-key
         shell: bash
