this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

maybe fix python env

+4 -3
+4 -3
.github/workflows/build-docs.yml
··· 8 8 - run: echo "The job was automatically triggered by a ${{ github.event_name }} event." 9 9 - run: echo "This job is now running on a ${{ runner.os }} server hosted by GitHub!" 10 10 - run: echo "The name of your branch is ${{ github.ref }} and your repository is ${{ github.repository }}." 11 - - name: Check out repository code 12 - uses: actions/checkout@v4 13 - - run: echo "The ${{ github.repository }} repository has been cloned to the runner." 11 + - uses: actions/checkout@v4 12 + - uses: actions/setup-python@v5 13 + with: 14 + python-version: '3.10' 14 15 - name: Install dependencies 15 16 run: | 16 17 python3 -m pip install sphinx sphinx-rtd-theme sphinxcontrib-jquery