Merge branch 'main' into pr_branch_name

Signed-off-by: Sebastian Thomschke <sebthom@users.noreply.github.com>
lastnpe · Sep 10, 2024 · 1e6e97e · 1e6e97e
2 parents 6ac5bc1 + 0949e82
commit 1e6e97e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/update-eea-files.yml b/.github/workflows/update-eea-files.yml
@@ -123,7 +123,7 @@ jobs:
 
     - name: Create PR
       id: create-pr
-      uses: peter-evans/create-pull-request@v6  # https://github.com/peter-evans/create-pull-request
+      uses: peter-evans/create-pull-request@v7  # https://github.com/peter-evans/create-pull-request
       if: steps.eea_updates.outputs.updates
       with:
         title: "chore: Update ${{ github.event.inputs.library && format('{0} ', github.event.inputs.library) || '' }}EEA files"

diff --git a/libraries/jetty/pom.xml b/libraries/jetty/pom.xml
@@ -21,7 +21,7 @@
     <dependency>
       <groupId>org.eclipse.jetty</groupId>
       <artifactId>jetty-client</artifactId>
-      <version>12.0.12</version>
+      <version>12.0.13</version>
     </dependency>
   </dependencies>
 </project>