chore: replace pup with sed

robproject · Oct 22, 2023 · 1be25f7 · 1be25f7
1 parent 7c57116
commit 1be25f7
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -33,8 +33,7 @@ jobs:
         run: |
           pip install ansi2html
           cat diff_output.txt | ansi2html > diff_output.html
-          sudo apt install -y pup
-          pup 'body' < diff_output.html > body_content.html
+          sed -n '/<body>/,/<\/body>/p' diff_output.html | sed '1d;$d' > body_content.html
       
       - name: Post comment
         if: github.event_name == 'pull_request'