Update docs.yml

replace `main` with `master` that we are still using

.github/workflows/docs.yml

@@ -6,7 +6,7 @@ on:
   # Pushes to main that touch the documentation directory.
   push:
     branches:
-      - main
+      - master
     paths:
       - 'docs/**'