Skip to content

Merge pull request #1 from ethdebug/problem-statement #11

Merge pull request #1 from ethdebug/problem-statement

Merge pull request #1 from ethdebug/problem-statement #11

Workflow file for this run

name: Deploy to GitHub Pages
on:
push:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/setup-python@v2
- uses: actions/checkout@master
with:
fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
- name: Build and Commit
uses: sphinx-notes/pages@v2
with:
documentation_path: "./docs/source"
requirements_path: "./docs/requirements.txt"
- name: Push changes
uses: ad-m/github-push-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: gh-pages