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