From f4e9d2b9fcd3e18f64ff9ea9c242c324cc52998e Mon Sep 17 00:00:00 2001
From: Oscar Dowson <o.dowson@gmail.com>
Date: Thu, 13 Nov 2025 14:57:45 +1300
Subject: [PATCH 1/2] Add a CI job to test SCIPOPTDIR installation

---
 .github/workflows/ci.yml | 24 ++++++++++++++++++++++++
 test/runtests.jl         |  1 +
 2 files changed, 25 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6e8beb0c..af10b9c4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -32,3 +32,27 @@ jobs:
         with:
           file: lcov.info
           token: ${{ secrets.CODECOV_TOKEN }}
+test-local:
+    name: Test-local-install
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@v2
+        with:
+          version: '1'
+          arch: 'x64'
+      - uses: julia-actions/cache@v1
+      - shell: bash
+        run: |
+          cd deps
+          curl -L https://github.com/JuliaBinaryWrappers/SCIP_jll.jl/releases/download/SCIP-v900.200.200%2B0/SCIP.v900.200.200.x86_64-linux-gnu-cxx11.tar.gz -o x86_64-linux-gnu.tar.gz
+          tar -xzf x86_64-linux-gnu.tar.gz
+      - uses: julia-actions/julia-buildpkg@v1
+        env:
+          SCIPOPTDIR: "/home/runner/work/SCIP.jl/SCIP.jl/deps"
+      - uses: julia-actions/julia-runtest@v1
+      - uses: julia-actions/julia-processcoverage@v1
+      - uses: codecov/codecov-action@v4
+        with:
+          file: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}
diff --git a/test/runtests.jl b/test/runtests.jl
index 15064093..b262a311 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -8,6 +8,7 @@ using SCIP
 using SCIP_jll
 using SCIP_PaPILO_jll
 
+@show SCIP.libscip
 @show(@eval(SCIP, libscip) == SCIP_jll.libscip)
 @show(
     SCIP_PaPILO_jll.is_available() &&

From b3743ae046b8e0b81f5be494846731b97c087e3d Mon Sep 17 00:00:00 2001
From: Oscar Dowson <o.dowson@gmail.com>
Date: Thu, 13 Nov 2025 15:13:00 +1300
Subject: [PATCH 2/2] Update

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index af10b9c4..a7c61789 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -32,7 +32,7 @@ jobs:
         with:
           file: lcov.info
           token: ${{ secrets.CODECOV_TOKEN }}
-test-local:
+  test-local:
     name: Test-local-install
     runs-on: ubuntu-latest
     steps: