DOC

Adapt to rocq#21180 #1890

Triggered via pull request October 17, 2025 14:28

Tragicus

synchronize #907

Tragicus:rocq21180

Status Success

Total duration 7m 29s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
artifact	234 KB	`sha256:f9983ed8d53c089ac0f09f6d975054f6e9c4439fd02405af21c90c86eaa90a97`