CI: only run tests for OCaml 5 or higher#224

ahelwer wants to merge 1 commit intotlaplus:maintlaplus/tlapm:mainfrom

ahelwer:ci-only-use-ocaml-5-1ahelwer/tlapm:ci-only-use-ocaml-5-1Copy head branch name to clipboard