File tree Expand file tree Collapse file tree 1 file changed +3
-0
lines changed Expand file tree Collapse file tree 1 file changed +3
-0
lines changed Original file line number Diff line number Diff line change @@ -182,6 +182,7 @@ jobs:
182
182
fail-fast : false # Allow other platforms to continue if one fails
183
183
matrix :
184
184
os : [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
185
+ ocaml_version : [4.14.2]
185
186
runs-on : ${{ matrix.os }}
186
187
steps :
187
188
- name : Git checkout
@@ -211,6 +212,7 @@ jobs:
211
212
fail-fast : false # Allow other platforms to continue if one fails
212
213
matrix :
213
214
os : [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
215
+ ocaml_version : [4.14.2]
214
216
runs-on : ${{ matrix.os }}
215
217
steps :
216
218
- name : Git checkout
@@ -249,6 +251,7 @@ jobs:
249
251
fail-fast : false # Allow other platforms to continue if one fails
250
252
matrix :
251
253
os : [ubuntu-22.04, ubuntu-24.04, ubuntu-24.04-arm, macos-latest]
254
+ ocaml_version : [4.14.2]
252
255
runs-on : ${{ matrix.os }}
253
256
steps :
254
257
- name : Git checkout
You can’t perform that action at this time.
0 commit comments