Skip to content

No Issue - Add a warn in the logs when elements have duplicated vars #485

No Issue - Add a warn in the logs when elements have duplicated vars

No Issue - Add a warn in the logs when elements have duplicated vars #485

Workflow file for this run

name: Build Website
on:
push:
branches:
- "main"
paths-ignore:
- '.gitignore'
- 'CODEOWNERS'
- 'LICENSE'
- '*.md'
- '*.adoc'
- '*.txt'
- '.all-contributorsrc'
pull_request:
paths-ignore:
- '.gitignore'
- 'CODEOWNERS'
- 'LICENSE'
- '*.md'
- '*.txt'
- '.all-contributorsrc'
jobs:
build-website:
name: Build Website
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Set up JDK 17
uses: actions/setup-java@v4
with:
distribution: temurin
java-version: 17
cache: 'maven'
- name: Build with Maven
run: mvn '-Dorg.slf4j.simpleLogger.log.org.openapitools=off' -B formatter:validate impsort:check verify --file pom.xml -DskipTests
- name: Store PR id
if: github.event_name == 'pull_request'
run: |
echo ${{ github.event.number }} > ./docs/target/generated-docs/pr-id.txt
- name: Publishing directory for PR preview
if: github.event_name == 'pull_request'
uses: actions/upload-artifact@v4
with:
name: site
path: ./docs/target/generated-docs
retention-days: 3