Skip to content

Edit 'docs' branch on github temporarily #3

Edit 'docs' branch on github temporarily

Edit 'docs' branch on github temporarily #3

Workflow file for this run

name: sphinx
on: [push, pull_request, workflow_call]
jobs:
call_sphinx_builder:
uses: ISISComputingGroup/reusable-workflows/.github/workflows/sphinx.yml@main
secrets: inherit
with:
deploy-branch: "docs"