From 42fbc2ec7b76e17c2a611927f7bade008331efcf Mon Sep 17 00:00:00 2001 From: Kevin Zakka Date: Wed, 3 May 2023 06:02:51 -0700 Subject: [PATCH] Skip CI on README changes. PiperOrigin-RevId: 529067951 Change-Id: Icca59b5abd89d131066b99780e4bc2b575d7810e --- .github/workflows/build.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index ab12edcb..616a8d81 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -12,9 +12,11 @@ on: push: paths-ignore: - "doc/**" + - "**/README.md" pull_request: paths-ignore: - "doc/**" + - "**/README.md" jobs: mujoco: