diff options
| author | Christian Göttsche <cgzones@googlemail.com> | 2020-08-21 10:37:25 +0200 |
|---|---|---|
| committer | Christian Göttsche <cgzones@googlemail.com> | 2020-08-21 10:37:25 +0200 |
| commit | d6adc2b68143b0baef5ad60f0cb0dea70c913ee0 (patch) | |
| tree | 10a8f8eebb3ee5a8058d885a68773bbe82d47a32 /scripts | |
| parent | 57254cdd05981a6d2c035f868316bbca2c5495f3 (diff) | |
github/ci: improve ci
- split steps for readability
- fail on compiler warnings
- add whitespace check
- run on all branches
- run `make distcheck`
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions