Skip to content

Commit a7dec10

Browse files
committed
Set OCaml compiler version correctly
1 parent 5d9909f commit a7dec10

File tree

3 files changed

+5
-5
lines changed

3 files changed

+5
-5
lines changed

.github/workflows/build.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ jobs:
3838
- name: Set-up OCaml
3939
uses: ocaml/setup-ocaml@v3
4040
with:
41-
ocaml-compiler: 5
41+
ocaml-compiler: ${{ matrix.version }}
4242

4343
- name: Restore cached opam
4444
id: cache-opam-restore

.github/workflows/release.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -84,7 +84,7 @@ jobs:
8484
- name: Set-up OCaml
8585
uses: ocaml/setup-ocaml@v3
8686
with:
87-
ocaml-compiler: 5
87+
ocaml-compiler: ${{ matrix.version }}
8888

8989
# This must be after git has been installed otherwise Github will use a zip
9090
# of the code instead of git clone.

test/c/run_tests.py

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -229,10 +229,10 @@ def test_coq(name):
229229
xml += test_c('optimized C++', '-O2', '-O', True, compiler='c++', actually_cpp=True)
230230

231231
if 'interpreter' in targets:
232-
if os.name == 'nt':
233-
print('Skipping interpreter tests because the interpreter is not supported on Windows')
234-
else:
232+
if os.name == 'posix':
235233
xml += test_interpreter('interpreter')
234+
else:
235+
print('Skipping interpreter tests because the interpreter is only supported on Unix-like platforms')
236236

237237
if 'ocaml' in targets:
238238
xml += test_ocaml('OCaml')

0 commit comments

Comments
 (0)