ci: Disable CI when updating docs

2026-06-22 02:02:12 +07:00 · 2019-10-10 16:12:45 +09:00
parent 2239ec7450
commit e858780eda
1 changed files with 7 additions and 1 deletions
@@ -1,5 +1,11 @@
 name: Main workflow
-on: [push, pull_request]
+on:
+  push:
+    paths-ignore:
+      - "docs/**"
+      - "**/*.md"
+  pull_request: []
+
 jobs:
  # Run the `rustfmt` code formatter
  rustfmt: