From b539124997f07aa08ef21788eeae23e2c0b162d9 Mon Sep 17 00:00:00 2001
From: Johan Larsson <johanlarsson@outlook.com>
Date: Fri, 12 Jan 2024 14:38:35 +0100
Subject: [PATCH] build: remove failing actions steps

---
 .github/workflows/ci.yml | 26 --------------------------
 1 file changed, 26 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d0a0d60..45fbd55 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -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 }}