diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
index 5e586ee038..e6e65604bc 100644
--- a/.github/workflows/unlocked.yml
+++ b/.github/workflows/unlocked.yml
@@ -21,9 +21,6 @@ jobs:
           - 5.0.x
           - ocaml-variants.4.14.0+options,ocaml-option-flambda
           - 4.14.x
-          - 4.13.x
-          - 4.12.x
-          - 4.10.x
         apron:
           - false
           - true
diff --git a/dune-project b/dune-project
index 9f5d5b194a..878abd3b4f 100644
--- a/dune-project
+++ b/dune-project
@@ -23,7 +23,7 @@
   (name goblint)
   (synopsis "Static analysis framework for C")
   (depends
-    (ocaml (>= 4.10))
+    (ocaml (>= 4.14))
     (goblint-cil (>= 2.0.3)) ; TODO no way to define as pin-depends? Used goblint.opam.template to add it for now. https://github.com/ocaml/dune/issues/3231. Alternatively, removing this line and adding cil as a git submodule and `(vendored_dirs cil)` as ./dune also works. This way, no more need to reinstall the pinned cil opam package on changes. However, then cil is cleaned and has to be rebuild together with goblint.
     (batteries (>= 3.5.1))
     (zarith (>= 1.10))
diff --git a/goblint.opam b/goblint.opam
index c8c4ce4e59..692625c965 100644
--- a/goblint.opam
+++ b/goblint.opam
@@ -21,7 +21,7 @@ doc: "https://goblint.readthedocs.io/en/latest/"
 bug-reports: "https://github.com/goblint/analyzer/issues"
 depends: [
   "dune" {>= "3.7"}
-  "ocaml" {>= "4.10"}
+  "ocaml" {>= "4.14"}
   "goblint-cil" {>= "2.0.3"}
   "batteries" {>= "3.5.1"}
   "zarith" {>= "1.10"}
diff --git a/gobview b/gobview
index 456944fa5d..72abbb576b 160000
--- a/gobview
+++ b/gobview
@@ -1 +1 @@
-Subproject commit 456944fa5d9253ef55c4eb2a20936819708b3710
+Subproject commit 72abbb576b8ffc8759dcfa31501738f6b561b05a