From 8d39b1a270cccc2b14f153b59bb84709f1709ddc Mon Sep 17 00:00:00 2001 From: Abdessamad Derraz <3028866+Abdess@users.noreply.github.com> Date: Sat, 17 Oct 2026 14:43:47 +0200 Subject: [PATCH] chore: rebuild the site when derivations change --- .github/workflows/deploy-site.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/deploy-site.yml b/.github/workflows/deploy-site.yml index 83eca245..a3c6adb4 100644 --- a/.github/workflows/deploy-site.yml +++ b/.github/workflows/deploy-site.yml @@ -14,6 +14,7 @@ on: - "scripts/common.py" - "scripts/cross_reference.py" - "scripts/crypto_verify.py" + - "scripts/derivations.py" - "scripts/deterministic_zip.py" - "scripts/dumpcatalog.py" - "scripts/generate_pack.py"