Code

test: fix: checkout master#14318

Code

Closed

adomani wants to merge 1 commit intomasterleanprover-community/mathlib4:masterfrom adomani/tech_debt_counters_checkout_master_testleanprover-community/mathlib4:adomani/tech_debt_counters_checkout_master_testCopy head branch name to clipboard

+13-10

Commits

Commits on Jul 1, 2024

• fix: checkout master

  adomani

  committed
  ba0262a