deps: bump io.micrometer:micrometer-tracing-bom from 1.3.5 to 1.4.1 #1498
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Update Docs | |
| on: | |
| pull_request: | |
| push: | |
| branches: | |
| - main | |
| paths: | |
| - 'docs/**' | |
| release: | |
| types: [published] # includes pre-release and regular releases, but does not include draft releases. | |
| workflow_dispatch: | |
| inputs: | |
| committish: | |
| description: Tag or branch of the docs to be created or updated. Using `main` will update the landing page. Using anything else will create or update a versioned copy of the docs. | |
| required: true | |
| default: main | |
| jobs: | |
| updateDocs: | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - name: Get current date | |
| id: date | |
| run: echo "date=$(date +'%Y-%m-%d' --utc)" >> $GITHUB_OUTPUT | |
| - uses: actions/checkout@v3 | |
| - run: | | |
| git config user.name github-actions | |
| git config user.email [email protected] | |
| - uses: actions/setup-java@v3 | |
| with: | |
| java-version: 17 | |
| distribution: 'temurin' | |
| - uses: actions/cache@v3 | |
| id: mvn-cache | |
| with: | |
| path: ~/.m2/repository | |
| key: ${{ runner.os }}-maven-unified-${{ steps.date.outputs.date }} | |
| - name: Mvn install # Need this when the version/directory/pom structure changes | |
| run: | | |
| ./mvnw \ | |
| --batch-mode \ | |
| --no-transfer-progress \ | |
| --show-version \ | |
| --threads 1.5C \ | |
| --define maven.test.skip=true \ | |
| --define maven.javadoc.skip=true \ | |
| install | |
| - name: Remove SNAPSHOT # Needed for releases | |
| run: | | |
| if [[ -n "${{ github.event.release.tag_name }}" ]] ; then | |
| ./mvnw versions:set --batch-mode -DremoveSnapshot -DprocessAllModules | |
| fi | |
| - name: Update Docs | |
| run: | | |
| if [[ -n "${{ github.event.release.tag_name }}" ]] ; then | |
| ./docs/src/main/asciidoc/ghpages.sh --version ${{ github.event.release.tag_name }} --destination . --build | |
| elif [[ -n "${{ github.event.inputs.committish }}" ]] && [[ "${{ github.event.inputs.committish }}" != "main" ]] ; then | |
| ./docs/src/main/asciidoc/ghpages.sh --version ${{ github.event.inputs.committish }} --destination . --build | |
| else | |
| ./mvnw install -P docs -P '!CI' -pl docs -DskipTests # Simplified PR check | |
| fi |