Merge pull request #92 from MrAnno/merge-followups #16
devshell.yml
on: push
distcheck
7m 12s
style-check
1m 52s
copyright-check
1m 57s
commits-check
32s
Matrix: general