Bump etc/coq-scripts from 857071d
to e4d9e81
#60
coq-alpine.yml
on: pull_request
Matrix: build
alpine-check-all
0s