Bump etc/coq-scripts from 5876e80 to 857071d
#710
Triggered via pull request
April 17, 2024 15:28
dependabot[bot]
Status
Success
Total duration
1h 29m 13s
Artifacts
–