diff --git a/.github/workflows/mathlib_stats_label.yaml b/.github/workflows/mathlib_stats_label.yaml index f857bdc15b176..a33845dcec6b1 100644 --- a/.github/workflows/mathlib_stats_label.yaml +++ b/.github/workflows/mathlib_stats_label.yaml @@ -21,7 +21,7 @@ jobs: - id: mathlib_stats run: | - git checkout origin/adomani/periodic_reports_dev_custom_action scripts/mathlib_stats.sh scripts/count_decls.lean + git checkout origin/adomani/weekly_change_report scripts/mathlib_stats.sh scripts/count_decls.lean printf $'summary<> "$GITHUB_OUTPUT" printf '%s\n' "$(./scripts/mathlib_stats.sh)" diff --git a/scripts/mathlib_stats.sh b/scripts/mathlib_stats.sh index 1f79202b17997..9065b491bcf8c 100755 --- a/scripts/mathlib_stats.sh +++ b/scripts/mathlib_stats.sh @@ -138,7 +138,7 @@ lake exe cache get > /dev/null lake build --quiet # update the `count_decls` and `mathlib_stats` scripts to the latest version -git checkout -q origin/adomani/periodic_reports_dev_custom_action scripts/count_decls.lean scripts/mathlib_stats.sh +git checkout -q origin/adomani/weekly_change_report scripts/count_decls.lean scripts/mathlib_stats.sh # the output of `count_decls` oldDeclsTots="$(getCountDecls)"