File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1717 runs-on : ubuntu-latest
1818 env :
1919 OCAML_VERSION : " 5.4"
20- DUNE_VERSION : " 3.22 .0"
21- DUNE_DIGEST : " sha256:33ca9308b48d9f5e90ee34f5b1045b53df6b5780a188556dab72af53621b5fba "
20+ DUNE_VERSION : " 3.23 .0"
21+ DUNE_DIGEST : " sha256:5588605a056545459833b10fcbfffa240841fa440d92862bfe94a4c8bfc52400 "
2222 defaults :
2323 run :
2424 shell : bash
Original file line number Diff line number Diff line change 1616 runs-on : ubuntu-latest
1717 env :
1818 OCAML_VERSION : " 5.4"
19- DUNE_VERSION : " 3.22 .0"
20- DUNE_DIGEST : " sha256:33ca9308b48d9f5e90ee34f5b1045b53df6b5780a188556dab72af53621b5fba "
19+ DUNE_VERSION : " 3.23 .0"
20+ DUNE_DIGEST : " sha256:5588605a056545459833b10fcbfffa240841fa440d92862bfe94a4c8bfc52400 "
2121 defaults :
2222 run :
2323 shell : bash
Original file line number Diff line number Diff line change @@ -25,17 +25,18 @@ jobs:
2525 - ubuntu-latest
2626 - macos-latest
2727 ocaml-version :
28+ - " 5.5"
2829 - " 5.4"
2930 - " 5.3"
3031 - " 5.2"
3132 - " 4.14"
3233 include :
3334 - os : ubuntu-latest
34- dune-version : " 3.22 .0"
35- dune-digest : " sha256:33ca9308b48d9f5e90ee34f5b1045b53df6b5780a188556dab72af53621b5fba "
35+ dune-version : " 3.23 .0"
36+ dune-digest : " sha256:5588605a056545459833b10fcbfffa240841fa440d92862bfe94a4c8bfc52400 "
3637 - os : macos-latest
37- dune-version : " 3.22 .0"
38- dune-digest : " sha256:66aa2c005b1c5c60daf711aee0630cc988b6038aa86ca807879e281145f232cb "
38+ dune-version : " 3.23 .0"
39+ dune-digest : " sha256:daeaaf1582250706ee1dd12d10a2eef529d3cd68c2e24e6222734b411dd523b8 "
3940 exclude :
4041 # Exclude the combination already tested in the main ci workflow.
4142 - os : ubuntu-latest
Original file line number Diff line number Diff line change 1616 runs-on : ubuntu-latest
1717 env :
1818 OCAML_VERSION : " 5.4"
19- DUNE_VERSION : " 3.22 .0"
20- DUNE_DIGEST : " sha256:33ca9308b48d9f5e90ee34f5b1045b53df6b5780a188556dab72af53621b5fba "
19+ DUNE_VERSION : " 3.23 .0"
20+ DUNE_DIGEST : " sha256:5588605a056545459833b10fcbfffa240841fa440d92862bfe94a4c8bfc52400 "
2121 defaults :
2222 run :
2323 shell : bash
You can’t perform that action at this time.
0 commit comments