From 3af13f1957ce6655cf064b989e96849455b0b334 Mon Sep 17 00:00:00 2001
From: Guillaume Endignoux <guillaumee@google.com>
Date: Thu, 5 Mar 2020 17:12:03 +0100
Subject: [PATCH] Add path protection on push for workflows/boards_build.
According to the rules at https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#patterns-to-match-file-paths
---
.github/workflows/boards_build.yml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/.github/workflows/boards_build.yml b/.github/workflows/boards_build.yml
index 185c4f0..ef71f42 100644
--- a/.github/workflows/boards_build.yml
+++ b/.github/workflows/boards_build.yml
@@ -2,6 +2,9 @@
name: Build supported boards
on:
push:
+ paths:
+ - 'patches/tock/*'
+ - 'third_party/tock/**'
pull_request:
types: [opened, synchronize, reopened]
--
GitLab