Bump etc/coq-scripts from 7b54b75
to 5876e80
(#150)
#52
coq-alpine.yml
on: push
Matrix: build
alpine-check-all
0s