Build docs for main branch

This commit is contained in:
Dominik Jain authored and Dominik Jain committed 2025-11-08 15:05:02 +01:00
1 parent ff5ac556dc
commit 5dc5f5e5f0
1 file changed
+1 -2
+1 -2
View File
@@ -2,8 +2,7 @@ name: Docs Build
on:
push:
# TODO change branch to main once docs is merged
branches: [ docs ]
branches: [ main ]
workflow_dispatch:
permissions: