From 8ccfad9b251688b6327ca7c725ebf69b5319ef0c Mon Sep 17 00:00:00 2001 From: metonym Date: Fri, 25 Oct 2024 12:00:09 -0700 Subject: [PATCH] ci: use `paths-ignore` in ci.yml --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cd717fb..86c2bae 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,9 +2,13 @@ name: CI on: pull_request: + paths-ignore: + - "playground/**" push: branches: - main + paths-ignore: + - "playground/**" jobs: build: