Skip to content

Fixes #3847 - Setup Jakarta CDI 4.0.12 TCK for Piranha Core Profile (… #3

Fixes #3847 - Setup Jakarta CDI 4.0.12 TCK for Piranha Core Profile (…

Fixes #3847 - Setup Jakarta CDI 4.0.12 TCK for Piranha Core Profile (… #3

Workflow file for this run

name: docs-snapshot
on:
push:
paths:
- 'docs/**'
branches:
- 'current'
tags-ignore:
- 'v*'
jobs:
docs:
runs-on: ubuntu-latest
steps:
- name: Checkout Piranha
uses: actions/checkout@v3
- name: Checkout Piranha Website
uses: actions/checkout@v3
with:
repository: piranhacloud/piranha-website
token: ${{ secrets.GIT_PASSWORD }}
path: piranha-website
ref: 'gh-pages'
- name: Set up Java 21
uses: actions/setup-java@v3
with:
cache: 'maven'
distribution: 'temurin'
java-version: 21
- name: Build with Maven
run: |
cd docs
mvn -B -DskipTests -DskipITs -ntp site
cd ../
rm -rf piranha-website/snapshot || true
mkdir -p piranha-website/snapshot || true
cp -R docs/target/site/* piranha-website/snapshot/
cd piranha-website
git config --global user.email "noreply@piranha.cloud"
git config --global user.name "Automated publish"
git add .
git commit -a -m "Publishing documentation" || true
git push