Add functionality to add experiment and execute it immediately (#194) #77
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: GitHub Pages | |
on: | |
push: | |
branches: | |
- develop | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v2 | |
- name: Set up Python 3.8 | |
uses: actions/setup-python@v2 | |
with: | |
python-version: 3.8 | |
- name: Install Python modules | |
run: pip install recommonmark nbsphinx sphinx_gallery pandoc sphinx-autoapi | |
- name: Setup pandoc | |
# You may pin to the exact commit or the version. | |
# uses: nikeee/setup-pandoc@65d1fee002ea71e0d2a1c39bfa392c4e7ceba563 | |
uses: nikeee/setup-pandoc@v1 | |
with: | |
# Exact version of pandoc to use. | |
# You can find available versions here: https://github.com/jgm/pandoc/releases | |
pandoc-version: latest # optional, default is latest | |
# This option defaults to the workflow scoped GitHub Token. | |
# It is used to not hit the rate limit while determining the 'latest' version of pandoc. | |
# If you need to specify a different token to be used, you can use this option. | |
# We expect that normal users typically don't have to do that. | |
token: ${{ github.token }} # optional, default is ${{ github.token }} | |
- name: Install ReadTheDocs Theme | |
run: pip install sphinx-rtd-theme | |
- 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/ | |
- name: Push changes | |
uses: ad-m/github-push-action@master | |
with: | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
branch: gh-pages | |
force_with_lease: true |