Bump etc/coq-scripts from 7b54b75
to 5876e80
#50
coq-alpine.yml
on: pull_request
Matrix: build
alpine-check-all
0s