Testing doc change.

2022-12-06 18:12:15 +00:00
parent 2d304d65e5
commit d7e082ae96
1 changed files with 4 additions and 0 deletions
@@ -11,8 +11,12 @@ name: build
 on:
  push:
    branches: [main]
+    paths-ignore:
+      - "doc/**"
  pull_request:
    branches: [main]
+    paths-ignore:
+      - "doc/**"

 jobs:
  mujoco: