From 79b943aa9759e95ea124c02c235eb812070a018f Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Fri, 3 Mar 2023 00:50:15 +0100
Subject: workflows/ci: ignore changes in docs

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.github')

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2fe2522..5322089 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,6 +2,9 @@ name: CI
 
 on:
   push:
+    paths-ignore:
+      - 'docs/**'
+      - 'README.md'
   pull_request:
   schedule:
     # Weekly, at 6:45 AM on Thursday (somewhat randomly chosen).
-- 
cgit v1.2.3