Skip to content

Merge pull request #274 from michaelb/dev #73

Merge pull request #274 from michaelb/dev

Merge pull request #274 from michaelb/dev #73

Workflow file for this run

name: Doc
env:
GITHUB_ACTOR: michaelb
GITHUB_REPOSITORY: michaelb/sniprun
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
on:
push:
branches: [ master ]
workflow_dispatch:
jobs:
build_sphinx_job:
runs-on: ubuntu-latest
container: debian:buster-slim
steps:
- name: Get prerequisites and clone repository
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
set -x
apt-get update
apt-get install -y git
git clone "https://token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" .
shell: bash
- name: Run build script for Sphinx pages
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: "doc/build.sh"
shell: bash