From 9e4b170643cbad675f3d4b684c4f21edc9c2a25a Mon Sep 17 00:00:00 2001
From: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
Date: Thu, 17 Feb 2022 15:53:33 +0000
Subject: [PATCH] Skip building the docs site for MSCs (#3729)

If only the `proposals` directory has changed, there's no point building the
docs site and offering a preview.
---
 .github/workflows/main.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 6ba90cb8c..916ec5d07 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -5,7 +5,12 @@ on:
       - main
     tags:
       - v*
+    # don't bother with this workflow if only proposals are changed
+    paths-ignore:
+      - proposals
   pull_request:
+    paths-ignore:
+      - proposals
   workflow_dispatch:
 
 jobs: