Currently, we want our documentation updated as

soon as something has been pushed to the release_v1.0.0 branch.

Author: HannoSpreeuw

.github/workflows/docs.yml

@@ -1,10 +1,10 @@
 name: website
 
-# build the documentation whenever there are new commits on main
+# build the documentation whenever there are new commits on release_v1.0.0
 on:
   push:
     branches:
-      - main
+      - release_v1.0.0
     # Alternative: only build for tags.
     # tags:
     #   - '*'