Merge branch 'MaintainTeam:master' into master

MaintainTeam · Jan 20, 2025 · f8d6400 · f8d6400
2 parents b1d10aa + 7ec40c2
commit f8d6400
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -20,6 +20,8 @@ on:
     branches:
       - dev
       - master
+      - extended
+      - '**-feature-**'
     paths-ignore:
       - 'README.md'
       - 'doc/**'
@@ -36,13 +38,9 @@ jobs:
     permissions: write-all
 
     steps:
-      - name: Checkout branch "${{ github.ref_name }}"
-        env:
-          BRANCH: ${{ github.ref_name }}
-        run: |
-          git clone --no-checkout https://github.com/MaintainTeam/LastPipeBender.git .
-          git checkout --progress --force "$BRANCH"
-
+      - name: Checkout
+        uses: actions/checkout@v4
+
       - name: Set up JDK
         uses: actions/setup-java@v4
         with: