Fix docs build on Gitpod (#7026)

This commit is contained in:
Jeremy Tuloup 2023-09-05 13:40:49 +02:00 committed by GitHub
parent d2dd0e80c7
commit 409bacc9aa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -19,6 +19,7 @@ tasks:
export MAMBA_EXE=/workspace/bin/micromamba
$(/workspace/bin/micromamba shell hook --shell=bash)
export JUPYTER_PREFER_ENV_PATH=1
export TZ=UTC
micromamba activate
EOT
source /workspace/bin/activate-env.sh