From b1be908fb1d44e94f09980051cbdb0c5e4285ffa Mon Sep 17 00:00:00 2001 From: Masaya Kataoka Date: Fri, 27 Sep 2024 15:48:26 +0900 Subject: [PATCH] Update custom_spell.json Remove people's name of simulation team member from dictionary. --- .github/workflows/custom_spell.json | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/.github/workflows/custom_spell.json b/.github/workflows/custom_spell.json index b9638744476..9a8c8d16931 100644 --- a/.github/workflows/custom_spell.json +++ b/.github/workflows/custom_spell.json @@ -15,11 +15,8 @@ "DWITH_INTEGRATION_TEST", "engageable", "euclidian", - "hakuturu", - "Kataoka", "libunwind", "linelint", - "Masaya", "Mersenne", "Monic", "Moszynski", @@ -43,7 +40,6 @@ "Tschirnhaus", "walltime", "xerces", - "xercesc", - "yamacir-kit" + "xercesc" ] }