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
..
build.yml	CI: use cache v2 (and bust cache) (#1747)	2020-06-21 16:36:46 +02:00
check-formatting.yml	dont ignore md files for CI in pull requests (#1881)	2020-08-23 14:07:30 +02:00