change branch name for github actions

Author: kiankyars

.github/workflows/docs-dev.yml

@@ -1,7 +1,8 @@
 name: Dev Documentation Build
 
 on:
-  workflow_dispatch:
+  push:
+    branches: [docs/sphinx-minedojo-style]
 
 jobs:
   build-docs:

.github/workflows/docs.yml

@@ -2,7 +2,7 @@ name: Build Documentation
 
 on:
   push:
-    branches: [ main]
+    branches: [main]
 
 jobs:
   build-docs: