sercanto/infra
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

refactor mkdocs

Browse source 
- use devshell instead of package

- build pages with hercules-ci.github-pages

- drop unnecessary packages restriction
This commit is contained in:
zowoq 2023-08-28 14:21:56 +10:00 • committed by Jonas Chevalier
parent 8b8a4ca8b3
commit 9c1545b0ab
3 changed files with 8 additions and 6 deletions

2
tasks.py
View file

@ -117,7 +117,7 @@ def mkdocs(c):
"""
Serve docs (mkdoc serve)
"""
c.run("nix develop .#pages -c mkdocs serve")
c.run("nix develop .#mkdocs -c mkdocs serve")
def get_hosts(hosts: str) -> List[DeployHost]: