DOC

Adapt to rocq#21180 #1891

Triggered via pull request October 17, 2025 14:46

Tragicus

synchronize #907

Tragicus:rocq21180

Status Success

Total duration 8m 26s

Artifacts 1

doc.yml

on: pull_request

Produced during runtime

Name	Size	Digest
artifact	234 KB	`sha256:dae45324d5a85b78126d3f5e3ccfbdac6f407d1bcfdc35b18a2311b180e8e387`