ci: post result of perf-measures/type-check

honojs · Sep 22, 2024 · bca9190 · bca9190
1 parent 66df4e1
commit bca9190
Showing 1 changed file with 9 additions and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -206,11 +206,15 @@ jobs:
  } >> "$GITHUB_ENV"
  working-directory: perf-measures/type-check
  - run: echo "$COMPARISON"
- # remove the comment out after we make sure that caching is working
- # - uses: thollander/actions-comment-pull-request@v2
- # with:
- # comment_tag: perf-measures/type-check
- # message: ${{ env.COMPARISON }}
+ - uses: thollander/actions-comment-pull-request@v2
+ with:
+ comment_tag: perf-measures/type-check
+ message: |
+ ## Result of perf-measures/type-check
+ Here is a comparison of the type-checking performance between the current PR and main branch.
+ One of the most important metrics is `Type Instantiaion`. The smaller it is, the faster type-checking is.
+ 
+ ${{ env.COMPARISON }}
 
 
  perf-measures-type-check-on-main: