From d4337c5d6f02f5604792bd9c3fa748d29d169f09 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timoth=C3=A9e=20Mazzucotelli?= Date: Sat, 13 Jul 2024 23:05:15 +0200 Subject: [PATCH] ci: Fix code block execution without direnv --- scripts/make.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/make.py b/scripts/make.py index 0a82b500..286dcf9d 100755 --- a/scripts/make.py +++ b/scripts/make.py @@ -146,6 +146,7 @@ def setup() -> None: Once dependencies are installed, try running `make` or `make help` again, to show additional tasks. ```console exec="1" source="console" + $ alias make="$PWD/scripts/make" # markdown-exec: hide $ make ```