Skip to content
Back to pull request #10846

fix: instance tactic generation at finish? #14918

Sign in to view logs

fix: instance tactic generation at finish?

fix: instance tactic generation at finish? #14918

check-awaiting-mathlib

check-awaiting-mathlib
succeeded Oct 20, 2025 in 4s