diff --git a/.github/workflows/make.yml b/.github/workflows/make.yml index 73d36365..fbd98d49 100644 --- 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