9 commits

Author	SHA1	Message	Date
dependabot[bot]	92040896fa	Bump actions/checkout from v1 to v2.3.3 (#2052) ... Bumps [actions/checkout](https://github.com/actions/checkout) from v1 to v2.3.3. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v1...a81bbbf8298c0fa03ea29cdc473d45769f953675) Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2020-10-10 10:40:31 +02:00
Ruben Anders	45a53bf0a4	dont ignore md files for CI in pull requests (#1881) ... This should help merging readme PRs without having to use scary buttons	2020-08-23 14:07:30 +02:00
Rasmus Karlsson	3942749226	Don't check formatting when documentation has been updated	2020-07-18 14:27:06 +02:00
Rasmus Karlsson	624c578b06	Run format checker on pull requests too	2019-11-16 12:00:21 +01:00
Rasmus Karlsson	b2d88ba555	fix!	2019-11-02 12:21:18 +01:00
Rasmus Karlsson	94f071b0ba	add -y to apt-get install in check-formatting workflow	2019-11-02 12:19:25 +01:00
pajlada	3aedd682a6	Update check-formatting.yml	2019-11-02 12:18:18 +01:00
Rasmus Karlsson	28a1c7234e	Update check-format action	2019-11-02 12:13:41 +01:00
pajlada	9fe752cf3c	add github action to check formatting	2019-11-02 11:59:34 +01:00