Skip to content

Change playbook name #60

Change playbook name

Change playbook name #60

Workflow file for this run

name: Publish to GitHub Pages
on:
push:
branches: [master]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v2
- name: Install Node.js
uses: actions/setup-node@v2
with:
node-version: '14'
- name: Install Antora
run: npm i --no-optional --silent @antora/[email protected] @antora/[email protected]
- name: Install Lunr
run: npm i antora-lunr
- name: Install Lunr Site Generator
run: npm i antora-site-generator-lunr
- name: Run Antora
run: DOCSEARCH_ENABLED=true DOCSEARCH_ENGINE=lunr $(npm bin)/antora --fetch --generator antora-site-generator-lunr playbook.yml
- name: Publish to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: build/site
cname: www.reactiveprinciples.org