diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml index 42467d74..07529e60 100644 --- a/.github/workflows/blueprint.yml +++ b/.github/workflows/blueprint.yml @@ -77,6 +77,7 @@ jobs: lake env "$EXPOSITION_BIN" \ --root LeanMachineLearning \ --repo-url https://github.com/LeanMachineLearning/LML \ + --site-url https://leanmachinelearning.org/LML/exposition \ --output ./exposition \ --exclude-lib LMLTutorial mkdir -p home_page/exposition