Skip to content

Merge pull request #148 from infinyon/dependabot/cargo/fluvio-v0.10.15 #97

Merge pull request #148 from infinyon/dependabot/cargo/fluvio-v0.10.15

Merge pull request #148 from infinyon/dependabot/cargo/fluvio-v0.10.15 #97

Workflow file for this run

name: Docs
concurrency:
group: docs-${{ github.ref }}
cancel-in-progress: true
permissions:
# contents permission to update benchmark contents in gh-pages branch
contents: write
on:
workflow_dispatch:
push:
branches: [ main ]
tags:
- 'v*'
jobs:
docs:
name: build and push static docs
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-latest]
java: [17]
steps:
- uses: actions/checkout@v4
with:
persist-credentials: false # otherwise, the token used is the GITHUB_TOKEN, instead of your personal token
fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
- name: Setup java
uses: actions/setup-java@v3
with:
java-version: ${{ matrix.java }}
cache: 'gradle'
distribution: 'temurin'
- name: "Git Fetch & Checkout"
run: |
git config --local user.email "[email protected]"
git config --local user.name "Fluvio Authors"
git fetch --all
git checkout -b docs --track origin/docs
git merge -X theirs origin/main -m "Merge remote-tracking branch 'origin/main into docs" --allow-unrelated-histories
- name: Build docs
run: |
make docs
rm -rf docs
cp -r fluvio/build/docs/javadoc docs
touch docs/.nojekyll
- name: Commit files
run: |
git add --force docs
git commit -m "Updated Fluvio Node.js client docs" -a || true
- name: Push changes
uses: ad-m/github-push-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: docs