Regenerate GitHub Actions workflow

Executed command: sbt githubWorkflowGenerate

.github/workflows/ci.yml

@@ -88,7 +88,7 @@ jobs:
       - name: Check there are no uncommitted changes in git (to catch generated files that weren't committed)
         run: sbt '++ ${{ matrix.scala }}' checkGitNoUncommittedChanges
 
-      - name: Check Doc Site (2.13.11 only)
+      - name: Check Doc Site (2.13.12 only)
         if: matrix.scala == '2.13.12'
         run: sbt '++ ${{ matrix.scala }}' docs/makeSite
 
@@ -160,12 +160,12 @@ jobs:
           tar xf targets.tar
           rm targets.tar
 
-      - name: Download target directories (2.13.11)
+      - name: Download target directories (2.13.12)
         uses: actions/download-artifact@v3
         with:
-          name: target-${{ matrix.os }}-${{ matrix.java }}-2.13.11
+          name: target-${{ matrix.os }}-${{ matrix.java }}-2.13.12
 
-      - name: Inflate target directories (2.13.11)
+      - name: Inflate target directories (2.13.12)
         run: |
           tar xf targets.tar
           rm targets.tar

.mergify.yml

@@ -11,7 +11,7 @@ pull_request_rules:
   - author=scala-steward
   - body~=labels:.*early-semver-patch
   - status-success=Build and Test (ubuntu-latest, 2.12.18, temurin@11)
-  - status-success=Build and Test (ubuntu-latest, 2.13.11, temurin@11)
+  - status-success=Build and Test (ubuntu-latest, 2.13.12, temurin@11)
   - status-success=Build and Test (ubuntu-latest, 3.3.0, temurin@11)
   actions:
     merge: {}