Bump etc/coq-scripts from 7b54b75 to e4d9e81
#35
Triggered via pull request
August 5, 2024 23:37
dependabot[bot]
Status
Failure
Total duration
3h 45m 32s
Artifacts
–