fix coverage (#594)

* fix coverage * keep mkdn fmt
Uniswap · Apr 23, 2024 · bf1e7d0 · bf1e7d0
1 parent bd6cce2
commit bf1e7d0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -32,7 +32,7 @@ jobs:
       run: |
         {
         echo 'COVERAGE<<EOF'
-        forge coverage | grep -v 'test/' | tail -n +6
+        forge coverage | grep '^|' | grep -v 'test/'
         echo EOF
         } >> "$GITHUB_OUTPUT"
       env:
@@ -52,7 +52,7 @@ jobs:
           const currentCoverage = fs.readFileSync(file, "utf8").trim();
           const newCoverage = (`${{ steps.coverage.outputs.COVERAGE }}`).trim();
           if (newCoverage != currentCoverage) {
-            core.setFailed(`Code coverage not updated. Run : forge coverage | grep -v 'test/' | tail -n +6  > coverage.txt`);
+            core.setFailed(`Code coverage not updated. Run : forge coverage | grep '^|' | grep -v 'test/'  > coverage.txt`);
           }
 
     - name: Comment on PR