out first

leanprover-community · May 17, 2024 · eb64c17 · eb64c17
1 parent 2b58676
commit eb64c17
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ml_stats_label.yaml b/.github/workflows/ml_stats_label.yaml
@@ -27,9 +27,10 @@ jobs:
       - id: mathlib_stats
         run: |
           git checkout origin/adomani/periodic_reports_dev_custom_action scripts/mathlib_stats.sh scripts/count_decls.lean
-          printf $'summary<<EOF\n%s\nEOF' "$(./scripts/mathlib_stats.sh)"
           printf $'summary<<EOF\n%s\nEOF' "$(./scripts/mathlib_stats.sh)" >> "$GITHUB_OUTPUT"
 
+          printf $'summary<<EOF\n%s\nEOF' "$(./scripts/mathlib_stats.sh)"
+
       - name: Add comment
         run: gh pr comment "$NUMBER" --body "$BODY"
         env: