Doc on push

.github/workflows/doc.yml

@@ -4,10 +4,10 @@ name: mirai-doc Publish
 
 # Controls when the action will run. Triggers the workflow on push or pull request
 # events but only for the master branch
-on:
-  release:
-    types:
-      - created
+on: [ push ]
+#  release:
+#    types:
+#      - created
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs: