CI: avoid opam --strict by using opam lint instead#47

xavierleroy merged 1 commit intoocaml:masterocaml/num:masterfrom

kit-ty-kate:patch-1kit-ty-kate/num:patch-1Copy head branch name to clipboard