update workflows for lib.install

This commit is contained in:
Arya Irani 2024-05-22 18:34:08 -04:00 committed by GitHub
parent 47c7b5f5cb
commit d20d30d475
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions

View File

@ -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 }}"

View File

@ -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