Skip to content

fix: install older sphinx to support sphinx-rtd-theme #248

fix: install older sphinx to support sphinx-rtd-theme

fix: install older sphinx to support sphinx-rtd-theme #248

Workflow file for this run

name: CI
on:
push:
branches:
- master
pull_request:
branches:
- '*'
permissions:
contents: read
jobs:
testsuite:
uses: ADmad/.github/.github/workflows/testsuite-with-db.yml@master
secrets: inherit
cs-stan:
uses: ADmad/.github/.github/workflows/cs-stan.yml@master
secrets: inherit