Merge pull request #5002 from unisonweb/ci/lib-install

unisonweb · May 23, 2024 · 8a27961 · 8a27961
2 parents b456c88 + d20d30d
commit 8a27961
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -378,7 +378,7 @@ jobs:
           contents: |
             ```ucm
             .> project.create-empty jit-setup
-            jit-setup/main> pull ${{ env.jit_version }} lib.jit
+            jit-setup/main> lib.install ${{ env.jit_version }}
             ```
             ```unison
             go = generateSchemeBoot "${{ env.jit_generated_src_scheme }}"

diff --git a/unison-src/transcripts-manual/gen-racket-libs.md b/unison-src/transcripts-manual/gen-racket-libs.md
@@ -5,7 +5,7 @@ Next, we'll download the jit project and generate a few Racket files from it.
 
 ```ucm
 .> project.create-empty jit-setup
-jit-setup/main> pull @unison/internal/releases/0.0.17 lib.jit
+jit-setup/main> lib.install @unison/internal/releases/0.0.17
 ```
 
 ```unison