CI: Use extr-dev opam repository while generating the Rocqnavi doc#2005

affeldt-aist merged 1 commit into

math-comp:mastermath-comp/analysis:masterfrom

proof-ninja:yoshihiro503@ci-use-extr-devproof-ninja/analysis:yoshihiro503@ci-use-extr-devCopy head branch name to clipboard