ci(builds.sr.ht): more chores over at buildscripts

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
This commit is contained in:
Andrei Jiroh Halili 2023-10-07 11:38:26 +08:00
parent 3e4715f48f
commit d3d4c30b52
No known key found for this signature in database
GPG key ID: 67BFC91B3DA12BE8
3 changed files with 5 additions and 7 deletions

View file

@ -12,7 +12,7 @@ if [[ ! -d "$TARGET_DIR" ]]; then
fi
if [[ $SKIP_VENV_SETUP == "" ]] || [[ $CI == "" ]]; then
pipenv install -r requirements.txt
pipenv install --ignore-pipfile --deploy --verbose
pipenv run -- mkdocs build -d "$TARGET_DIR" -f ${TARGET_BUILD_CONFIG}
else
pip3 install -r requirements.txt --upgrade --user