escape?

leanprover · Sep 11, 2024 · be08627 · be08627
1 parent 0ce3f97
commit be08627
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -61,11 +61,10 @@ jobs:
       - name: Save word count
         run: |
           echo "# Word Counts" >> $GITHUB_STEP_SUMMARY
-          fence = '`````'
           echo "" >> $GITHUB_STEP_SUMMARY
-          echo ${fence} >> $GITHUB_STEP_SUMMARY
+          echo "\`\`\`" >> $GITHUB_STEP_SUMMARY
           cat words.txt >> $GITHUB_STEP_SUMMARY
-          echo ${fence} >> $GITHUB_STEP_SUMMARY
+          echo "\`\`\`" >> $GITHUB_STEP_SUMMARY
 
       - name: Offline link checker
         uses: lycheeverse/[email protected]