Skip to content

pipeline changed

pipeline changed #18

Workflow file for this run

name: website
on:
pull_request:
types: [closed]
push:
branches:
- main
env:
PUBLISH_DIRECTORY: public
permissions:
contents: write
jobs:
publish:
if: github.event_name == 'push' || github.event.pull_request.merged == true && github.event.pull_request.base.ref == 'main'
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Checkout Production
if: github.ref_name == 'main'
uses: actions/checkout@v4
with:
ref: asf-site
path: ${{ env.PUBLISH_DIRECTORY }}
#- name: Install Asciidoctor
# run: |
# sudo apt-get update
# sudo apt-get install -y asciidoctor
- name: Prepare
working-directory: ${{ env.PUBLISH_DIRECTORY }}
run: |
rm -rf stylesheets
- name: Build Hugo site
run: |
npm install
npm run clean
npm run build:production
- name: Deploy to ASF
working-directory: ${{ env.PUBLISH_DIRECTORY }}
run: |
git config --global user.name "github-actions[bot]"
git config --global user.email "ops+github-actions[bot]@users.noreply.github.com"
git add .
git commit -m "Published changes from $GITHUB_SHA"
git push