From 1af2571efcf8a8088d2c500d17e2c7975d38d376 Mon Sep 17 00:00:00 2001
From: Sam van G <59202064+samvang@users.noreply.github.com>
Date: Thu, 28 Mar 2024 17:36:14 +0100
Subject: [PATCH] modify yml

---
 .github/workflows/blueprint.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index 794e900..3fad630 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -23,10 +23,10 @@ jobs:
         run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.5.0
       
       - name: Update docgen4
-        run: ~/.elan/bin/lake -R update «doc-gen4»
+        run: ~/.elan/bin/lake -R -Kenv=dev update «doc-gen4»
       
       - name: Update checkdecls
-        run: ~/.elan/bin/lake -R update checkdecls
+        run: ~/.elan/bin/lake -R -Kenv=dev update checkdecls
 
       - name: Get cache
         run: ~/.elan/bin/lake -Kenv=dev exe cache get || true