From ec99201cce87da30f0ffdda57d78853001a34a64 Mon Sep 17 00:00:00 2001
From: Fabian Mastenbroek <mail.fabianm@gmail.com>
Date: Tue, 7 Jul 2020 18:41:31 +0200
Subject: Run CI only if necessary

This pull request selectively enables the build workflows for the three
subproject based on the changed files in the commit.
---
 .github/workflows/web-server.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to '.github/workflows/web-server.yml')

diff --git a/.github/workflows/web-server.yml b/.github/workflows/web-server.yml
index 1ba2b6cd..6f14f97b 100644
--- a/.github/workflows/web-server.yml
+++ b/.github/workflows/web-server.yml
@@ -1,6 +1,9 @@
 name: Web server
 
-on: [push]
+on:
+    push:
+        paths:
+        - 'web-server/*'
 
 defaults:
     run:
-- 
cgit v1.2.3