Bump etc/coq-scripts from 5876e80 to fb70f50
#15
Triggered via pull request
April 16, 2024 18:31
dependabot[bot]
Status
Failure
Total duration
4h 43m 45s
Artifacts
–
dependabot-automerge.yml
on: pull_request
dependabot-automerge
2s
Annotations
1 error
|
dependabot-automerge
Process completed with exit code 1.
|