Fix incorrect PR url in diffcalc workflow

This commit is contained in:
Dan Balasescu 2023-10-19 15:19:51 +09:00
parent 66421a55ab
commit 832ba861bb
No known key found for this signature in database
1 changed files with 1 additions and 1 deletions

View File

@ -195,7 +195,7 @@ jobs:
- name: Add pull-request environment
if: ${{ github.event_name == 'issue_comment' && github.event.issue.pull_request }}
run: |
sed -i "s;^OSU_B=.*$;OSU_B=${{ github.event.issue.pull_request.url }};" "${{ needs.directory.outputs.GENERATOR_ENV }}"
sed -i "s;^OSU_B=.*$;OSU_B=${{ github.event.issue.pull_request.html_url }};" "${{ needs.directory.outputs.GENERATOR_ENV }}"
- name: Add comment environment
if: ${{ github.event_name == 'issue_comment' }}