Merge branch 'main' into remove-get-extension-compat

ChrisRackauckas · web-flow · commit 1ca9941a4542 · 2025-07-27T19:49:02.000-04:00
diff --git a/src/RootedTrees.jl b/src/RootedTrees.jl
@@ -1602,8 +1602,8 @@ function __init__()
 
     return nothing
 end
-@static if VERSION >= v"1.8"
-    include("precompile.jl")
-end
+                              
+# explicit precompilation
+include("precompile.jl")
 
 end # module
