From 931eef04f37aa0f500c26ff58a5e6f4b425c8d74 Mon Sep 17 00:00:00 2001
From: Jeremy Gao <145064583+WenSimEHRP@users.noreply.github.com>
Date: Mon, 19 Aug 2024 08:55:32 +0800
Subject: [PATCH] Add manual trigger for building

---
 .editorconfig                   | 3 +++
 .github/workflows/build_doc.yml | 1 +
 2 files changed, 4 insertions(+)

diff --git a/.editorconfig b/.editorconfig
index 3c7a646..e13c2e7 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -12,3 +12,6 @@ indent_size = 2
 
 [*.py]
 indent_size = 4
+
+[*.{yml,yaml}]
+indent_size = 2
diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index c271077..bf0855c 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
 
 jobs:
   build: