diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index d261c110..95c33dd3 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -11,8 +11,12 @@ name: build on: push: branches: [main] + paths-ignore: + - "doc/**" pull_request: branches: [main] + paths-ignore: + - "doc/**" jobs: mujoco: