CI: de-duplicate docs build on PRs (#760)

Author: lucascolley

.github/workflows/docs.yml

@@ -1,6 +1,9 @@
 name: Docs
 
-on: [push, pull_request]
+on:
+  push:
+    branches: [main]
+  pull_request:
 
 permissions: {}