master on 8.19

Author: gares

.github/workflows/main.yml

@@ -16,7 +16,7 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - '8.18'
+          - '8.19'
         ocaml_version:
           - '4.14-flambda'
     steps: