Skip to content

Commit 4a14c8e

Browse files
committed
1 parent d676d1b commit 4a14c8e

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

scripts/autolabel.lean

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,8 @@ def mathlibLabels : Array Label := #[
9494
dirs := #[
9595
"Mathlib" / "AlgebraicGeometry",
9696
"Mathlib" / "Geometry" / "RingedSpace"] },
97+
{ label := "t-algebraic-topology",
98+
dirs := #["Mathlib" / "AlgebraicTopology"] },
9799
{ label := "t-analysis" },
98100
{ label := "t-category-theory" },
99101
{ label := "t-combinatorics" },
@@ -134,9 +136,7 @@ def mathlibLabels : Array Label := #[
134136
{ label := "t-order" },
135137
{ label := "t-set-theory" },
136138
{ label := "t-topology",
137-
dirs := #[
138-
"Mathlib" / "Topology",
139-
"Mathlib" / "AlgebraicTopology"] },
139+
dirs := #["Mathlib" / "Topology"] },
140140
{ label := "CI",
141141
dirs := #[".github"] },
142142
{ label := "IMO",

0 commit comments

Comments
 (0)