fix ci (#177)

Author: fblanqui

.github/workflows/main.yml

@@ -11,7 +11,7 @@ jobs:
       fail-fast: false
       matrix:
         ocaml-version: [5.2.1]
-        dune-version: [3.17.2]
+        dune-version: [3.19.1]
         camlp5-version: [8.03.01]
         hol-light-version: [3.0.0]
         hol-light-commit: [master] # Release-3.0.0]