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