Use pregenerated bindings on Docs.rs

.github/workflows/build_and_test.yml

@@ -14,7 +14,7 @@ jobs:
       matrix:
         os: [
           ubuntu-latest,
-          macos-13,
+          macos-15,
           macos-14, # macOS arm runner
           windows-latest,
           ubuntu-24.04-arm
@@ -33,7 +33,7 @@ jobs:
 #      matrix:
 #        os: [
 #          ubuntu-latest,
-#          macos-13,
+#          macos-15,
 #          macos-14, # macOS arm runner
 #          windows-latest,
 #        ]
@@ -50,7 +50,7 @@ jobs:
     strategy:
       matrix:
         os: [
-          macos-13,
+          macos-15,
           macos-14,
           ubuntu-latest,
           windows-latest,
@@ -59,7 +59,7 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - name: Install bison
-        if: ${{ matrix.os == 'macos-13' || matrix.os == 'macos-14' }}
+        if: ${{ matrix.os == 'macos-15' || matrix.os == 'macos-14' }}
         run: |
           brew install bison gcc
       - name: Test from-source

build.rs

@@ -140,6 +140,14 @@ fn try_system_include_paths() -> Option<bindgen::Builder> {
 }
 
 fn main() -> Result<(), Box<dyn Error>> {
+    // Detect docs.rs build environment (no network access)
+    if env::var("DOCS_RS").is_ok() {
+        println!("cargo:warning=Building on docs.rs, using pre-generated bindings");
+        let out_path = PathBuf::from(env::var("OUT_DIR").unwrap());
+        std::fs::copy("src/bindings_pregenerated.rs", out_path.join("bindings.rs"))?;
+        return Ok(());
+    }
+
     let builder = if is_bundled_feature_enabled() {
         download_scip();
         let path = PathBuf::from(env::var("OUT_DIR").unwrap()).join("scip_install");