website.yml

name: Publish the website
on:
  workflow_dispatch:
  push:
    branches:
      - "!*"
    tags:
      - '[0-9]+.[0-9]+.[0-9]+*'
jobs:
  publish-website:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        name: Checkout code
        with:
          fetch-depth: 0 # fetch all commits and branches for mike to work properly
      - uses: actions/setup-java@v4
        name: Set up Java 21
        with:
          java-version: 21
          distribution: temurin
          cache: maven
      - uses: actions/setup-python@v5
        name: Set up Python
        with:
          python-version: 3.x
      - name: Tools setup
        run: |          
          git config --global user.name "SmallRye CI"
          git config --global user.email "smallrye@googlegroups.com"
          cd docs
          sudo snap install yq
          pip3 install pipenv
          pipenv install
          cd ..
      - name: Build local artifacts
        run: mvn -B install -DskipTests
      - name: Render docs and publish
        run: .github/render-documentation.sh