haskal
/
moloch-dragon
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

build: try to get pr number from env

This commit is contained in:
Johan Larsson 2024-01-12 13:39:45 +01:00
parent b7ed604217
commit 1ed5f3ecaf
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
.github/workflows/ci.yml vendored
View File

@ -38,11 +38,16 @@ jobs:
- uses: teatimeguest/setup-texlive-action@v3 - uses: teatimeguest/setup-texlive-action@v3
with: with:
packages: scheme-basic packages: scheme-basic
- name: Get PR number
run: |
echo "${{ toJSON(github.event.pull_request) }}" >> pr.json
echo "pr_number=$(jq -r '.number' pr.json)" >> $GITHUB_ENV
if: ${{ steps.release.outputs.prs_created }} if: ${{ steps.release.outputs.prs_created }}
- name: Checkout code if: ${{ steps.release.outputs.prs_created }}
- name: Checkout PR code
uses: actions/checkout@v4 uses: actions/checkout@v4
with: with:
ref: refs/pull/${{ steps.release.outputs.pr.number }}/merge ref: refs/pull/${{ env.pr_number }}/merge
if: ${{ steps.release.outputs.prs_created }} if: ${{ steps.release.outputs.prs_created }}
- name: tag - name: tag
run: l3build tag 0.1.0 run: l3build tag 0.1.0