Merge pull request #344 from MrAnno/pre-nightly-removal-fix #1141
devshell.yml
on: push
distcheck
7m 1s
style-check
1m 54s
copyright-check
2m 1s
commits-check
34s
Matrix: general