Adding new "Choose Profile" context menu to Project Files #3316
Workflow file for this run
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
# Github Actions workflow to generate documentation | |
# Uses the following shared task definitions: | |
# - (checkout, upload artifact) from Github | |
name: Sphinx build | |
# Controls when the action will run. | |
# Triggers the workflow on push or pull request events. | |
on: | |
- push | |
- pull_request | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
- name: Set up Python | |
uses: actions/setup-python@v3 | |
with: | |
python-version: '3.x' | |
- name: Install Sphinx & Dependencies | |
run: pip install sphinx sphinx_markdown_builder sphinx_rtd_theme | |
- name: Build Documentation | |
run: cd "$GITHUB_WORKSPACE/doc" && make html | |
- uses: actions/upload-artifact@v3 | |
with: | |
name: Documentation | |
path: "doc/_build/html/" | |