Fix branch name for doc deployment

Corentin Mors · Corentin Mors · commit e5f0a571e481 · 2023-07-05T14:44:02.000+02:00
diff --git a/.github/workflows/documentation-deploy.yml b/.github/workflows/documentation-deploy.yml
@@ -2,7 +2,7 @@ name: Documentation Website Deploy CI
 
 on:
     push:
-        branches: [main]
+        branches: [master]
 
 jobs:
     build:
