Commit 2025-06-08 10:58 0830de58
View on Github →fix(CI): run dependent issues only on leanprover-community/mathlib4 (#25581)
Limit the Dependent issues actions to leanprover-community/mathlib4.
fix(CI): run dependent issues only on leanprover-community/mathlib4 (#25581)
Limit the Dependent issues actions to leanprover-community/mathlib4.