Build CI docs on main branch

Author: khvzak

.github/workflows/docs.yml

@@ -1,8 +1,8 @@
-name: Documentation (dev)
+name: Documentation (main)
 
 on:
   push:
-    branches: [dev]
+    branches: [main]
   workflow_dispatch:
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages