Merge followups #8
devshell.yml
on: pull_request
distcheck
7m 13s
style-check
1m 59s
copyright-check
2m 4s
commits-check
30s
Matrix: general