build: remove failing actions steps
This commit is contained in:
parent
973c31ec48
commit
b539124997
|
@ -33,29 +33,3 @@ jobs:
|
|||
id: release
|
||||
with:
|
||||
token: ${{ secrets.RELEASE_PLEASE_TOKEN }}
|
||||
- uses: actions/checkout@v4
|
||||
if: ${{ steps.release.outputs.prs_created }}
|
||||
- uses: teatimeguest/setup-texlive-action@v3
|
||||
with:
|
||||
packages: scheme-basic
|
||||
- name: Get PR number
|
||||
run: |
|
||||
pr_json=$(echo "${{ steps.release.outputs.prs }}" | jq -r .)
|
||||
echo "pr_number=$(jq -r '.number' pr_json)" >> $GITHUB_ENV
|
||||
if: ${{ steps.release.outputs.prs_created }}
|
||||
- name: Checkout PR code
|
||||
uses: actions/checkout@v4
|
||||
with:
|
||||
ref: refs/pull/${{ env.pr_number }}/merge
|
||||
if: ${{ steps.release.outputs.prs_created }}
|
||||
- name: tag
|
||||
run: l3build tag 0.1.0
|
||||
if: ${{ steps.release.outputs.prs_created }}
|
||||
- name: Commit and push
|
||||
run: |
|
||||
git config --local user.email "action@github.com"
|
||||
git config --local user.name "GitHub Action"
|
||||
git add .
|
||||
git commit -m "chore: tag files"
|
||||
git push
|
||||
if: ${{ steps.release.outputs.prs_created }}
|
||||
|
|
Loading…
Reference in New Issue