use correct branch

leanprover-community · May 17, 2024 · 8549486 · 8549486
1 parent d5bb7c1
commit 8549486
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ml_stats_label.yaml b/.github/workflows/ml_stats_label.yaml
@@ -26,7 +26,7 @@ jobs:
 
       - id: mathlib_stats
         run: |
-          git checkout origin/adomani/periodic_reports_dev scripts/mathlib_stats.sh
+          git checkout origin/adomani/periodic_reports_dev_custom_action/mathlib_stats.sh
           printf $'summary<<EOF\n%s\nEOF' "$(./scripts/mathlib_stats.sh)"
           printf $'summary<<EOF\n%s\nEOF' "$(./scripts/mathlib_stats.sh)" >> "$GITHUB_OUTPUT"