mirror of
https://github.com/Cog-Creators/Red-DiscordBot.git
synced 2025-11-06 03:08:55 -05:00
Use build.jobs.install to avoid installing unnecessary deps (#6508)
This commit is contained in:
parent
f962aeb7b8
commit
dcdef9d798
@ -4,6 +4,9 @@ build:
|
|||||||
os: "ubuntu-22.04"
|
os: "ubuntu-22.04"
|
||||||
tools:
|
tools:
|
||||||
python: "3.8"
|
python: "3.8"
|
||||||
|
jobs:
|
||||||
|
install:
|
||||||
|
- pip install .[doc]
|
||||||
|
|
||||||
sphinx:
|
sphinx:
|
||||||
configuration: docs/conf.py
|
configuration: docs/conf.py
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user