again

leanprover · Sep 11, 2024 · 3ceb542 · 3ceb542
1 parent 3bdbf6e
commit 3ceb542
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -60,6 +60,7 @@ jobs:
 
       - name: Save word count
         run: |
+          touch $GITHUB_STEP_SUMMARY
           echo "# Word Counts" >> $GITHUB_STEP_SUMMARY
           echo "" >> $GITHUB_STEP_SUMMARY
           echo "`````" >> $GITHUB_STEP_SUMMARY