Adapt to https://github.com/rocq-prover/rocq/pull/21852#33

proux01 merged 1 commit into

masterrocq-community/stalmarck:masterfrom

rocq21852rocq-community/stalmarck:rocq21852Copy head branch name to clipboard