comment workflow trigger

2020-06-22 20:58:58 +02:00
parent 76644394e4
commit 1a572290fa
1 changed files with 4 additions and 4 deletions
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -1,9 +1,9 @@
 name: Generate documentation

-on:
-  push:
-    paths:
-      - 'docs/**'
+#on:
+#  push:
+#    paths:
+#      - 'docs/**'

 jobs:
  github-pages: