Adapt to coq/coq#19690 (Hint Extern follows proof mode) #358
Triggered via pull request
March 12, 2025 13:10
SkySkimmer
Status
Success
Total duration
1h 17m 37s
Artifacts
–
dependabot-automerge.yml
on: pull_request
dependabot-automerge
3s