Use external workflow for doc maintainance.

2022-03-30 01:13:51 +04:00
parent 7e5484d0de
commit f907e43ecd
2 changed files with 13 additions and 48 deletions
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -0,0 +1,13 @@
+---
+name: Docs
+"on":
+  push:
+    # Only targets main branch to avoid amplification effects of auto-fixing
+    # the exact same stuff in multiple non-rebased branches.
+    branches:
+      - main
+
+jobs:
+
+  docs:
+    uses: kdeldycke/workflows/.github/workflows/docs.yaml@v1.0.0