From 0b5ea90516a8330c9e90b0374b6d75348b7c32c6 Mon Sep 17 00:00:00 2001
From: Remy Degenne <remydegenne@gmail.com>
Date: Tue, 16 Jun 2026 21:41:43 +0200
Subject: [PATCH] add site-url arg to exposition script

---
 .github/workflows/blueprint.yml | 1 +
 1 file changed, 1 insertion(+)

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