store mathlib4 gitstats file

leanprover-community · Oct 21, 2023 · 61f2fad · 61f2fad
1 parent 8fa0276
commit 61f2fad
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -37,6 +37,7 @@ jobs:
         cp mailmap/mailmap mathlib/.mailmap
         ./gitstats.py mathlib docs
         ./gitstats.py mathlib4 docs4
+        cp docs4/gitstats.js docs/gitstats4.js
 
     - name: Install gnuplot
       run: |