Merge branch 'main' of github.com:groupoid/anders

Author: 5HT

.github/workflows/main.yml

@@ -12,7 +12,7 @@ jobs:
         os:
           - ubuntu-22.04
         ocaml-version:
-          - 4.13.0
+          - 4.14.0
 
     runs-on: ${{ matrix.os }}