Update labeler.yml
This commit is contained in:
parent
d1b3a2037c
commit
0a123d3983
2
.github/labeler.yml
vendored
2
.github/labeler.yml
vendored
@ -1,5 +1,5 @@
|
||||
"Type: Proof":
|
||||
- "**/!(MAIN).agc"
|
||||
- "**/!(*MAIN).agc"
|
||||
"Type: Meta":
|
||||
- "**/MAIN.agc"
|
||||
- "**/*.md"
|
||||
|
Loading…
Reference in New Issue
Block a user