Adapt to https://github.com/rocq-prover/rocq/pull/21947#1265

ppedrot merged 1 commit into

MetaRocq:mainMetaRocq/metarocq:mainfrom

proux01:rocq21947proux01/metarocq:rocq21947Copy head branch name to clipboard