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: