XKRX: Add Armed Forces Day - Designated as a Temporary Public Holiday…

… in 2024

October 1, 2024, Armed Forces Day has been designated as a temporary public holiday

etc/update_xkrx_holidays.py

@@ -94,7 +94,7 @@ def update_dupmed_precomputed_krx_holidays():
     )
     with open(xkrx_holidays_py, "r") as f:
         lines = [line for line in f]
-    start_line = "dumped_precomputed_krx_holidays = pd.to_datetime("
+    start_line = "dumped_precomputed_krx_holidays = pd.DatetimeIndex("
     end_line = ")"
     start_line_index = 0
     end_line_index = 0

exchange_calendars/xkrx_holidays.py

@@ -1101,6 +1101,39 @@
         "2022-10-03",
         "2022-10-10",
         "2022-12-30",
+        "2023-01-23",
+        "2023-01-24",
+        "2023-03-01",
+        "2023-05-01",
+        "2023-05-05",
+        "2023-05-29",
+        "2023-06-06",
+        "2023-08-15",
+        "2023-09-28",
+        "2023-09-29",
+        "2023-10-02",
+        "2023-10-03",
+        "2023-10-09",
+        "2023-12-25",
+        "2023-12-29",
+        "2024-01-01",
+        "2024-02-09",
+        "2024-02-12",
+        "2024-03-01",
+        "2024-04-10",
+        "2024-05-01",
+        "2024-05-06",
+        "2024-05-15",
+        "2024-06-06",
+        "2024-08-15",
+        "2024-09-16",
+        "2024-09-17",
+        "2024-09-18",
+        "2024-10-01",
+        "2024-10-03",
+        "2024-10-09",
+        "2024-12-25",
+        "2024-12-31",
     ]
 )
 

tests/resources/xkrx.csv

@@ -10163,7 +10163,6 @@
 2024-09-26T00:00:00Z,2024-09-26T00:00:00Z,2024-09-26T06:30:00Z,,
 2024-09-27T00:00:00Z,2024-09-27T00:00:00Z,2024-09-27T06:30:00Z,,
 2024-09-30T00:00:00Z,2024-09-30T00:00:00Z,2024-09-30T06:30:00Z,,
-2024-10-01T00:00:00Z,2024-10-01T00:00:00Z,2024-10-01T06:30:00Z,,
 2024-10-02T00:00:00Z,2024-10-02T00:00:00Z,2024-10-02T06:30:00Z,,
 2024-10-04T00:00:00Z,2024-10-04T00:00:00Z,2024-10-04T06:30:00Z,,
 2024-10-07T00:00:00Z,2024-10-07T00:00:00Z,2024-10-07T06:30:00Z,,