File tree 1 file changed +2
-2
lines changed
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -58,14 +58,14 @@ jobs:
58
58
config : --enable-middle-end=flambda2 --enable-frame-pointers --enable-runtime5 --enable-poll-insertion --enable-flambda-invariants
59
59
os : ubuntu-latest
60
60
build_ocamlparam : ' '
61
- ocamlparam : ' _,O3=1,flambda2-expert-cont-lifting-budget=200'
61
+ ocamlparam : ' _,O3=1,flambda2-expert-cont-lifting-budget=200,flambda2-join-algorithm=n-way '
62
62
63
63
- name : flambda2_o3_advanced_meet_frame_pointers_runtime5_debug
64
64
config : --enable-middle-end=flambda2 --enable-frame-pointers --enable-runtime5
65
65
os : ubuntu-latest
66
66
build_ocamlparam : ' '
67
67
use_runtime : d
68
- ocamlparam : ' _,O3=1,flambda2-expert-cont-lifting-budget=200'
68
+ ocamlparam : ' _,O3=1,flambda2-expert-cont-lifting-budget=200,flambda2-join-algorithm=n-way '
69
69
70
70
- name : flambda2_frame_pointers_oclassic_polling
71
71
config : --enable-middle-end=flambda2 --enable-frame-pointers --enable-poll-insertion --enable-flambda-invariants
You can’t perform that action at this time.
0 commit comments