From eebf8987ff820f71930de585ad0faba70c037980 Mon Sep 17 00:00:00 2001 From: Andreas Schuh Date: Sat, 4 Nov 2023 21:56:06 +0000 Subject: [PATCH] [cd] Build and deploy docs only if source changed --- .github/workflows/docs.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 01b3e21..8518b3c 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -5,6 +5,10 @@ on: branches: - main - docs + paths: + - docs/** + - examples/** + - src/** workflow_dispatch: permissions: