Skip to content

Commit 6e27c1b

Browse files
vEnhancevEnhance
committed
build: include extension/* in lean action
1 parent 4ac714c commit 6e27c1b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎lakefile.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,4 +17,4 @@ rev = "v4.26.0"
1717

1818
[[lean_lib]]
1919
name = "PartialRegularity"
20-
globs = ["PartialRegularity.+"]
20+
globs = ["PartialRegularity.+", "extension.+"]

0 commit comments

Comments
 (0)