From 3942749226ab7d26f73bd337e95b2862db9bbb85 Mon Sep 17 00:00:00 2001
From: Rasmus Karlsson <rasmus.karlsson@pajlada.com>
Date: Sat, 18 Jul 2020 14:27:06 +0200
Subject: [PATCH] Don't check formatting when documentation has been updated

---
 .github/workflows/check-formatting.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/check-formatting.yml b/.github/workflows/check-formatting.yml
index 3c04502b4..aa7332984 100644
--- a/.github/workflows/check-formatting.yml
+++ b/.github/workflows/check-formatting.yml
@@ -1,6 +1,14 @@
 name: Check formatting
 
-on: [push, pull_request]
+on:
+  push:
+    paths-ignore:
+      - 'docs/**'
+      - '*.md'
+  pull_request:
+    paths-ignore:
+      - 'docs/**'
+      - '*.md'
 
 jobs:
   build: