Ew, we are still using master as the main branch...

This commit is contained in:
purple_emily
2024-03-10 11:40:57 +00:00
parent 66d37a8c05
commit cfc2b8f601

View File

@@ -2,7 +2,7 @@ name: Build documentation
on:
push:
branches: ["main"]
branches: ["master"]
# Specify to run a workflow manually from the Actions tab on GitHub
workflow_dispatch: