update CI to 5.2

OCamlPro · May 28, 2024 · a659fa2 · a659fa2
1 parent a762ddd
commit a659fa2
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 22 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -17,10 +17,10 @@ jobs:
           - ubuntu-latest
           # - windows-latest see #5
         ocaml-compiler:
-          - "5.1"
-        #include:
-        #  - os: ubuntu-latest
-        #    ocaml-compiler: "4.13"
+          - "5.2"
+        include:
+          - os: ubuntu-latest
+            ocaml-compiler: "5.1"
     runs-on: ${{ matrix.os }}
     steps:
       - name: checkout

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -28,7 +28,7 @@ jobs:
       - name: setup-ocaml
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: "5.1"
+          ocaml-compiler: "5.2"
           dune-cache: false
           opam-depext: true
           opam-pin: true

diff --git a/test/script/gc.t b/test/script/gc.t
@@ -22,23 +22,7 @@
   $ owi script --no-exhaustion reference/proposals/gc/ref_eq.wast
   owi: internal error, uncaught exception:
        File "src/typecheck/typecheck.ml", line 478, characters 4-10: Assertion failed
-       Raised at Owi__Typecheck.typecheck_instr in file "src/typecheck/typecheck.ml", line 478, characters 4-16
-       Called from Stdlib__List.fold_left in file "list.ml", line 123, characters 24-34
-       Called from Owi__Typecheck.typecheck_expr in file "src/typecheck/typecheck.ml", line 490, characters 15-59
-       Called from Owi__Typecheck.typecheck_function in file "src/typecheck/typecheck.ml", lines 512-514, characters 6-17
-       Called from Stdlib__List.fold_left in file "list.ml", line 123, characters 24-34
-       Called from Owi__Compile.Text.until_typecheck in file "src/compile.ml", line 26, characters 16-33
-       Called from Owi__Compile.Text.until_optimize in file "src/compile.ml", line 30, characters 13-38
-       Called from Owi__Compile.Text.until_link in file "src/compile.ml", line 34, characters 13-47
-       Called from Owi__Compile.Text.until_interpret in file "src/compile.ml", line 38, characters 25-72
-       Called from Owi__Script.run.(fun) in file "src/script/script.ml", line 152, characters 10-80
-       Called from Stdlib__List.fold_left in file "list.ml", line 123, characters 24-34
-       Called from Owi__Script.exec in file "src/script/script.ml", line 260, characters 21-56
-       Called from Owi__Syntax.list_iter.(fun) in file "src/utils/syntax.ml", line 22, characters 14-17
-       Called from Stdlib__List.iter in file "list.ml", line 112, characters 12-15
-       Called from Owi__Syntax.list_iter in file "src/utils/syntax.ml", lines 20-27, characters 4-7
-       Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24
-       Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
+
   [125]
   $ owi script --no-exhaustion reference/proposals/gc/ref_test.wast
   unknown operator unknown operator "any.convert_extern"