From 6ede3fcfd5aad8d561fbd5ef12753194522006a8 Mon Sep 17 00:00:00 2001
From: Eduard Nicodei <eddnicodei@gmail.com>
Date: Mon, 15 Jul 2024 22:36:38 +0100
Subject: [PATCH] fix jit generation in ci.yaml

---
 .github/workflows/ci.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index a9bf5c83e6..ba690c2ca6 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -388,7 +388,7 @@ jobs:
           write-mode: overwrite
           contents: |
             ```ucm
-            .> project.create-empty jit-setup
+            scratch/main> project.create-empty jit-setup
             jit-setup/main> lib.install ${{ env.jit_version }}
             ```
             ```unison