Fix link to download WIP html file

The previous link was downloading the HTML of the release page in GitHub, not the asset... 🤦
rrthomas · Jan 13, 2025 · b32b1fc · b32b1fc
1 parent 4c8a219
commit b32b1fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/make.yml b/.github/workflows/make.yml
@@ -67,7 +67,7 @@ jobs:
 
       - name: Download previous hpmor.html
         run: |
-          wget --quiet https://github.com/${{ github.repository }}/releases/tag/WorkInProgress/hpmor.html -O hpmor-prev.html
+          wget --quiet https://github.com/${{ github.repository }}/releases/download/WorkInProgress/hpmor.html -O hpmor-prev.html
 
       - name: Make PDFs
         run: sh scripts/make_pdfs.sh > /dev/null