Skip to content

Bump CI lower bound to 4.11 as 4.08 has been retired from the opam-repo#412

Merged
jmid merged 1 commit into
c-cube:mainfrom
jmid:remove-408-in-ci
May 6, 2026
Merged

Bump CI lower bound to 4.11 as 4.08 has been retired from the opam-repo#412
jmid merged 1 commit into
c-cube:mainfrom
jmid:remove-408-in-ci