Skip to content

Commit b666758

Browse files
committed
CI: use Wizard engine as well
1 parent ee0fdf4 commit b666758

File tree

1 file changed

+36
-0
lines changed

1 file changed

+36
-0
lines changed

.github/workflows/wasm_of_ocaml.yml

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -118,6 +118,35 @@ jobs:
118118
cargo build
119119
echo `pwd`/target/debug >> "$GITHUB_PATH"
120120
121+
- name: Checkout Virgil
122+
if: matrix.wasi
123+
uses: actions/checkout@v4
124+
with:
125+
repository: titzer/virgil
126+
path: virgil
127+
128+
- name: Build Virgil
129+
if: matrix.wasi
130+
working-directory: ./virgil
131+
run: |
132+
export PATH=$PATH:`pwd`/bin
133+
echo `pwd`/bin >> "$GITHUB_PATH"
134+
make
135+
136+
- name: Checkout Wizard engine
137+
if: matrix.wasi
138+
uses: actions/checkout@v4
139+
with:
140+
repository: titzer/wizard-engine
141+
path: wizard-engine
142+
143+
- name: Build Wizard engine
144+
if: matrix.wasi
145+
working-directory: ./wizard-engine
146+
run: |
147+
make -j 4
148+
echo `pwd`/bin >> "$GITHUB_PATH"
149+
121150
- name: Set-up OCaml ${{ matrix.ocaml-compiler }}
122151
uses: ocaml/setup-ocaml@v3
123152
with:
@@ -183,6 +212,13 @@ jobs:
183212
working-directory: ./wasm_of_ocaml
184213
run: opam exec -- dune build @runtest-wasm --profile wasi
185214

215+
- name: Run tests (WASI runtime - Wizard engine)
216+
if: ${{ matrix.wasi }}
217+
working-directory: ./wasm_of_ocaml
218+
env:
219+
WASM_ENGINE: wizard-fast
220+
run: opam exec -- dune build @runtest-wasm --profile wasi
221+
186222
- name: Run tests (WASI runtime - wasmtime)
187223
if: ${{ matrix.wasi }}
188224
working-directory: ./wasm_of_ocaml

0 commit comments

Comments
 (0)