CompatHelper: add new compat entry for BenchmarkTools at version 1 for package docs, (keep existing compat)#893

github-actions[bot] wants to merge 1 commit intomainJuliaDiff/DifferentiationInterface.jl:mainfrom

compathelper/new_version/2025-10-30-02-04-41-556-00585832380JuliaDiff/DifferentiationInterface.jl:compathelper/new_version/2025-10-30-02-04-41-556-00585832380Copy head branch name to clipboard