From 5dc5f5e5f063d0258f95b2cd559fad42a4e6c065 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Sat, 8 Nov 2025 15:05:02 +0100 Subject: [PATCH] Build docs for main branch --- .github/workflows/docs.yaml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 527c4bfa..e62d5cd2 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -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: