Skip to content

Custom User-Agent Header for Webservice/Websocket Clients / Modified Rev-Proxy Log Pattern #12

Custom User-Agent Header for Webservice/Websocket Clients / Modified Rev-Proxy Log Pattern

Custom User-Agent Header for Webservice/Websocket Clients / Modified Rev-Proxy Log Pattern #12

Workflow file for this run

# This workflow will publish a Java project with Maven
# For more information see: https://docs.github.com/en/free-pro-team@latest/actions/guides/publishing-java-packages-with-maven
name: Java CI Publish with Maven
on:
pull_request:
types: [closed]
branches: [develop]
jobs:
publish:
# Only run if pull requests are merged, omit running if pull requests are closed without merging
if: github.event.pull_request.merged
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up JDK 17
uses: actions/setup-java@v1
with:
java-version: 17
- name: Publish with Maven
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: mvn -B deploy --file pom.xml -Dgpg.skip