Adapt to rocq-prover/rocq#21129. #55
Triggered via pull request
September 28, 2025 11:19
ppedrot
Status
Success
Total duration
1m 49s
Artifacts
–