Merge pull request #2938 from apalache-mc/igor/ci2

remove previously added jobs
apalache-mc · Aug 14, 2024 · cfbd86d · cfbd86d
2 parents 9321181 + e4dc73e
commit cfbd86d
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/prepare-release.yml b/.github/workflows/prepare-release.yml
@@ -22,10 +22,6 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: peter-evans/create-pull-request@v6
-        with:
-          token: ${{ secrets.APALACHE_BOT_TOKEN }}
-          push-to-fork: coffeeinprogress/apalache
       - uses: actions/setup-java@v3
         with:
           distribution: temurin