From 79ca39b60b793daa8dbaec706fee78925884a9b0 Mon Sep 17 00:00:00 2001 From: Gerard Marull-Paretas Date: Mon, 7 Mar 2022 12:37:06 +0100 Subject: [PATCH] ci: errno: check the workflow when changed Make sure workflow is run when it is updated. Signed-off-by: Gerard Marull-Paretas --- .github/workflows/errno.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/errno.yml b/.github/workflows/errno.yml index ce87363575..a56ea968e1 100644 --- a/.github/workflows/errno.yml +++ b/.github/workflows/errno.yml @@ -2,6 +2,7 @@ name: Error numbers on: pull_request: paths: + - '.github/workflows/errno.yml' - 'lib/libc/minimal/include/errno.h' - 'scripts/ci/errno.py'