From d69f4e39e915db422f991ac9da6aa3419bcef100 Mon Sep 17 00:00:00 2001
From: Michael Lombardi <mlombardi@microsoft.com>
Date: Tue, 9 Apr 2024 15:40:28 -0500
Subject: [PATCH] (MAINT) Skip builds on docs-only PRs

This change uses the [`paths-ignore`][01] property for the GitHub workflow
pull requests trigger to skip the lengthy build process for PRs that only
modify documentation or VS Code configuration, neither of which affect
the code-building. This should enable faster feedback cycles for those
pull requests, as the build workflow can take 15-20m each time.
---
 .github/workflows/rust.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 5799f9678..2c59e2edd 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -5,6 +5,10 @@ on:
     branches: [ "main" ]
   pull_request:
     branches: [ "main" ]
+    paths-ignore:
+      - "docs/**"
+      - "*.md"
+      - ".vscode/*.json"
 
 env:
   CARGO_TERM_COLOR: always