summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhathach <[email protected]>2025-12-12 00:58:17 +0700
committerhathach <[email protected]>2025-12-12 00:58:17 +0700
commitd71e3c9ea61b1d2ab8e60daeb299abfdf828541e (patch)
tree4499d459b91574449513eb49154b2c164114e59e
parent2f5d4dbab3a4b051eda35c7026d2568c7355decd (diff)
post pr comment anyway
-rw-r--r--.github/workflows/build.yml7
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ea7f5d74b..c062aca46 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -143,6 +143,13 @@ jobs:
metrics_compare.md
pr_number.txt
+ - name: Post Code Metrics as PR Comment
+ if: github.event_name != 'push'
+ uses: marocchino/sticky-pull-request-comment@v2
+ with:
+ header: code-metrics
+ path: metrics_compare.md
+
# ---------------------------------------
# Build Make/CMake on Windows/MacOS
# ---------------------------------------