Merge pull request #93 from eed3si9n/wip/bump_score

Fix grep to detect C changes
tree-sitter · Jan 7, 2023 · f504a9a · f504a9a
2 parents ef3c830 + dfd7e41
commit f504a9a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -20,7 +20,7 @@ jobs:
         id: changes
         run: |
           echo "all=$(git diff --name-only --diff-filter=ACMRT ${{ github.event.pull_request.base.sha }} ${{ github.sha }} | xargs)" >> $GITHUB_OUTPUT
-          echo "c=$(git diff --name-only --diff-filter=ACMRT ${{ github.event.pull_request.base.sha }} ${{ github.sha }} | grep '.\(c\|h\)$' | xargs)" >> $GITHUB_OUTPUT
+          echo "c=$(git diff --name-only --diff-filter=ACMRT ${{ github.event.pull_request.base.sha }} ${{ github.sha }} | grep '\.\(c\|h\)$' | xargs)" >> $GITHUB_OUTPUT
 
   test:
     runs-on: ${{ matrix.os }}

diff --git a/script/smoke_test.sh b/script/smoke_test.sh
@@ -4,7 +4,7 @@
 
 SCALA_SCALA_LIBRARY_EXPECTED=87
 SCALA_SCALA_COMPILER_EXPECTED=46
-DOTTY_COMPILER_EXPECTED=35
+DOTTY_COMPILER_EXPECTED=56
 
 if [ ! -d "$SCALA_SCALA_DIR" ]; then
   echo "\$SCALA_SCALA_DIR must be set"