Deploy doc on master

constantinpape · constantinpape · commit 8a95e6f13928 · 2023-07-23T23:27:22.000+02:00
diff --git a/.github/workflows/build_docs.yaml b/.github/workflows/build_docs.yaml
@@ -4,8 +4,7 @@ name: build_documentation
 on:
   push:
     branches:
-      # - main
-      - pdoc
+      - main
     # TODO only build on releases once this works
     # Alternative: only build for tags.
     # tags:
