From cb7178d178e3544b57f510f9d78bb067bff16f67 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Kl=C3=B6ckner?= <inform@tiker.net>
Date: Wed, 14 Apr 2021 11:09:55 -0500
Subject: [PATCH] Drop doc-ignore from Github CI config
---
.github/workflows/ci.yml | 2 --
1 file changed, 2 deletions(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4bc80628..78519f8c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,8 +4,6 @@ on:
branches:
- main
pull_request:
- paths-ignore:
- - 'doc/*.rst'
schedule:
- cron: '17 3 * * 0'
--
GitLab