generate pdf on CI

Project-Faster · Aug 21, 2024 · a1a1abc · a1a1abc
1 parent 161e2e1
commit a1a1abc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
@@ -43,7 +43,9 @@ jobs:
         run: |
           set -ex
           cd docs/
+          cat user-manual.md >> $GITHUB_STEP_SUMMARY
           sed -E 's/subtitle:.+/subtitle: "User Manual - version ${{ env.TEST_VER }}"/' user-manual.md > user-manual.md
+          echo "-------------" >> $GITHUB_STEP_SUMMARY
           cat user-manual.md >> $GITHUB_STEP_SUMMARY
           CURDATE=$(date '+%x %T')
           echo "-------------" >> $GITHUB_STEP_SUMMARY