Skip to content

Commit afb8a55

Browse files
authored
Move two macOS CI controllers to runtime5 (ocaml-flambda#3482)
1 parent aae5c40 commit afb8a55

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

.github/workflows/build.yml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -78,14 +78,14 @@ jobs:
7878
config: --enable-middle-end=flambda2 --disable-warn-error
7979
os: macos-latest
8080

81-
- name: flambda2_macos_arm64_irc
82-
config: --enable-middle-end=flambda2 --disable-warn-error
81+
- name: flambda2_macos_arm64_runtime5_irc
82+
config: --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
8383
os: macos-latest
8484
build_ocamlparam: '_,w=-46,regalloc=irc'
8585
ocamlparam: '_,w=-46,regalloc=irc'
8686

87-
- name: flambda2_macos_arm64_ls
88-
config: --enable-middle-end=flambda2 --disable-warn-error
87+
- name: flambda2_macos_arm64_runtime5_ls
88+
config: --enable-middle-end=flambda2 --enable-runtime5 --disable-warn-error
8989
os: macos-latest
9090
build_ocamlparam: '_,w=-46,regalloc=ls'
9191
ocamlparam: '_,w=-46,regalloc=ls'

0 commit comments

Comments
 (0)