Skip to content

Commit

Permalink
Update make.yml workflow to know which repo it's being run in
Browse files Browse the repository at this point in the history
  • Loading branch information
norwd authored and rrthomas committed Dec 12, 2024
1 parent 2e14b17 commit e907f23
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/make.yml
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ jobs:
- name: Download previous hpmor.html
run: |
wget --quiet https://github.com/rrthomas/hpmor/releases/tag/WorkInProgress/hpmor.html -O hpmor-prev.html
wget --quiet https://github.com/${{ github.repository }}/releases/tag/WorkInProgress/hpmor.html -O hpmor-prev.html
- name: Make PDFs
run: sh scripts/make_pdfs.sh > /dev/null
Expand Down

0 comments on commit e907f23

Please sign in to comment.