diff --git a/.github/labeler.yml b/.github/labeler.yml
index 726a93e..c728591 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -1,5 +1,5 @@
 "Type: Proof":
-  - "**/!(MAIN).agc"
+  - "**/!(*MAIN).agc"
 "Type: Meta":
   - "**/MAIN.agc"
   - "**/*.md"