ci: use ocaml 5.1.1 instead of 5.1.0 - Githubissues

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Other

265 stars 35 forks source link

ci: use ocaml 5.1.1 instead of 5.1.0 #1064

Closed fblanqui closed 4 months ago