From 04405bfc7938bbc398667c585f752e063973bc4b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= <jerome.vouillon@gmail.com>
Date: Fri, 14 Feb 2025 14:05:21 +0100
Subject: [PATCH] Use fork of Wizard engine

---
 .github/workflows/build-wasm_of_ocaml.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build-wasm_of_ocaml.yml b/.github/workflows/build-wasm_of_ocaml.yml
index 032ed6fb53..59f919da60 100644
--- a/.github/workflows/build-wasm_of_ocaml.yml
+++ b/.github/workflows/build-wasm_of_ocaml.yml
@@ -122,7 +122,8 @@ jobs:
         if: matrix.wasi
         uses: actions/checkout@v4
         with:
-          repository: titzer/virgil
+          repository: vouillon/virgil
+          ref: wasi
           path: virgil
 
       - name: Build Virgil
@@ -137,7 +138,8 @@ jobs:
         if: matrix.wasi
         uses: actions/checkout@v4
         with:
-          repository: titzer/wizard-engine
+          repository: vouillon/wizard-engine
+          ref: wasi
           path: wizard-engine
 
       - name: Build Wizard engine