Skip to content

Sync main documentation #1382

Sync main documentation

Sync main documentation #1382

Workflow file for this run

name: Sync main documentation
on:
schedule:
- cron: '0 1 * * *'
workflow_dispatch:
jobs:
sync:
runs-on: ubuntu-latest
if: github.repository == 'quarkusio/quarkusio.github.io'
steps:
- uses: actions/checkout@v4
with:
ref: main
- uses: actions/checkout@v4
with:
repository: quarkusio/quarkus
path: .quarkus-main-repository
- name: Install JDK 17
uses: actions/setup-java@v4
with:
distribution: temurin
java-version: 17
- name: Get Date
id: get-date
run: |
echo "date=$(/bin/date -u "+%Y-%m")" >> $GITHUB_OUTPUT
shell: bash
- name: Cache Maven Repository
id: cache-maven
uses: actions/cache@v4
with:
path: ~/.m2/repository
# refresh cache every month to avoid unlimited growth
key: maven-repo-pr-${{ runner.os }}-${{ steps.get-date.outputs.date }}
- name: Build generated documentation
working-directory: .quarkus-main-repository
run: ./mvnw -B --settings .github/mvn-settings.xml -DquicklyDocs
- name: Rebase before rsync
run: |
git pull origin main --rebase
- name: Sync guides and generated documentation
run: |
.quarkus-main-repository/docs/sync-web-site.sh main ${PWD}
- name: Configure Git author
run: |
git config --local user.email "[email protected]"
git config --local user.name "GitHub Action"
- name: Commit changes
shell: bash
run: |
git add .
if [ -n "$(git status --porcelain)" ]; then
git commit -am "Sync documentation of main branch"
fi
git pull origin main --rebase
git push origin main
- name: Report status
uses: quarkusio/report-status-in-issue@main
if: always() && github.repository == 'quarkusio/quarkusio.github.io'
with:
github-token: ${{ secrets.SYNC_MAIN_TOKEN }}
status: ${{ job.status }}
issue-repository: quarkusio/quarkus
issue-number: 17071