Skip to content

Commit 623f0db

Browse files
committed
CI: use Wizard engine as well
1 parent a8e0de9 commit 623f0db

File tree

1 file changed

+37
-0
lines changed

1 file changed

+37
-0
lines changed

.github/workflows/build-wasm_of_ocaml.yml

Lines changed: 37 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:
@@ -197,6 +226,14 @@ jobs:
197226
continue-on-error: true
198227
run: opam exec -- dune build @runtest-wasm --profile wasi
199228

229+
- name: Run tests (WASI runtime - Wizard engine)
230+
if: ${{ matrix.wasi }}
231+
working-directory: ./wasm_of_ocaml
232+
env:
233+
WASM_ENGINE: wizard-fast
234+
continue-on-error: true
235+
run: opam exec -- dune build @runtest-wasm --profile wasi
236+
200237
- name: Run Base tests
201238
if: matrix.all_jane_street_tests
202239
continue-on-error: ${{ matrix.os == 'windows-latest' }}

0 commit comments

Comments
 (0)