49 lines
1.1 KiB
YAML

name: Docgen
on:
push:
branches:
- master
- cidocs
workflow_dispatch:
jobs:
build:
timeout-minutes: 10
name: 'Generate & upload documentation'
runs-on: 'ubuntu-20.04'
continue-on-error: true
steps:
- name: Checkout
uses: actions/checkout@v2
with:
submodules: true
- uses: jiro4989/setup-nim-action@v1
with:
nim-version: 'stable'
- name: Generate doc
run: |
nim --version
nim buildDocs || true
- name: Clone the gh-pages branch
uses: actions/checkout@v2
with:
ref: gh-pages
path: subdoc
submodules: true
fetch-depth: 0
- name: Commit & push
run: |
rm -f subdoc/*
mv docs/* subdoc
cd subdoc
git add .
git config --global user.email "${{ github.actor }}@users.noreply.github.com"
git config --global user.name = "${{ github.actor }}"
git commit -a -m "update docs"
git push origin gh-pages