Skip to content

Update document.adoc #4

Update document.adoc

Update document.adoc #4

Workflow file for this run

# This is a basic workflow to help you get started with Actions
name: CI
# Controls when the workflow will run
on:
# Triggers the workflow on push or pull request events but only for the "main" branch
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build"
build:
name: Build Metanorma Whitepaper
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- uses: actions/cache@v3
with:
path: ~/.fontist
key: fontist-ubuntu-latest
restore-keys: fontist-ubuntu-latest
- uses: actions-mn/setup@main
- name: Run Metanorma 🔧
run: |
metanorma site generate --agree-to-terms -o site
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@releases/v4
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
clean: false
FOLDER: site/