[CI] Adapt to https://github.com/LPCIC/coq-elpi/pull/771#1482

proux01 wants to merge 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

proux01:ci-updateproux01/analysis:ci-updateCopy head branch name to clipboard