Merge followups #11
devshell.yml
on: pull_request
distcheck
7m 8s
style-check
2m 3s
copyright-check
1m 56s
commits-check
33s
Matrix: general