Adapt w.r.t. coq/coq#18909. #31
Triggered via pull request
April 17, 2024 11:28
ppedrot
Status
Success
Total duration
2h 28m 39s
Artifacts
–
dependabot-automerge.yml
on: pull_request
dependabot-automerge
0s