2020-04-30 | Paul Bauer | Print base commit for source linters | blob | commitdiff | raw |
2020-04-30 | Paul Bauer | Fix incorrect header and linter scripts | blob | commitdiff | raw | diff to current |
2020-04-25 | Paul Bauer | Use branch point also for format and copyright check | blob | commitdiff | raw | diff to current |
2020-04-22 | Paul Bauer | Copy of CI from master to 2020 | blob | commitdiff | raw | diff to current |