Skip to content

Commit

Permalink
ci: errno: check the workflow when changed
Browse files Browse the repository at this point in the history
Make sure workflow is run when it is updated.

Signed-off-by: Gerard Marull-Paretas <[email protected]>
  • Loading branch information
gmarull authored and carlescufi committed Mar 8, 2022
1 parent b3ec1f6 commit 79ca39b
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/errno.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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'

Expand Down

0 comments on commit 79ca39b

Please sign in to comment.