fix: correctly set paths_ignore (#51)

* fix: correctly set paths_ignore

* feat(ci): PR labeler

* update

* update

* update

Author: roynalnaruto

.github/labeler.yml

@@ -0,0 +1,26 @@
+ci:
+  - .github/**/*
+
+crate-circuits:
+  - crates/circuits/**/*
+
+crate-chunk-circuit:
+  - crates/circuits/chunk-circuit/**/*
+
+crate-batch-circuit:
+  - crates/circuits/batch-circuit/**/*
+
+crate-bundle-circuit:
+  - crates/circuits/bundle-circuit/**/*
+
+crate-verifier:
+  - crates/verifier/**/*
+
+crate-prover:
+  - crates/prover/**/*
+
+crate-integration:
+  - crates/integration/**/*
+
+crate-build-guest:
+  - crates/build-guest/**/*

.github/workflows/labeler.yml

@@ -0,0 +1,13 @@
+name: Pull Request Labeler
+
+on:
+  pull_request:
+    types: [synchronize, opened, reopened, ready_for_review]
+
+jobs:
+  triage:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/labeler@v4
+        with:
+          repo-token: "${{ secrets.GITHUB_TOKEN }}"

.github/workflows/lint.yml

@@ -23,8 +23,7 @@ jobs:
         with:
           cancel_others: 'true'
           concurrent_skipping: same_content_newer
-          paths_ignore:
-            - '**/README.md'
+          paths_ignore: '["**/README.md"]'
 
   fmt:
     needs: [ skip_check ]