Skip to content

Commit 64f84ea

Browse files
committed
Build runtime with rewatch in CI
1 parent 45ebda5 commit 64f84ea

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/ci.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -384,7 +384,7 @@ jobs:
384384
run: opam exec -- make test-syntax
385385

386386
- name: Build runtime/stdlib
387-
run: ./scripts/buildRuntime.sh
387+
run: ./scripts/buildRuntimeRewatch.sh
388388
shell: bash
389389

390390
- name: Check for changes in lib folder

0 commit comments

Comments
 (0)