DOC

Adapt w.r.t. coq/coq#20201. #1495

Triggered via pull request February 6, 2025 10:54

ppedrot

opened #768

Status Success

Total duration 7m 35s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size
artifact	227 KB