Correct timezone type: It's Asia/Tokyo, not Tokyo/Asia

https://timezonedb.com/time-zones/Asia/Tokyo

Author: eightbitraptor

.github/workflows/check_misc.yml

@@ -70,7 +70,7 @@ jobs:
         run: |
           date +"mon=%-m"%n"day=%-d" >> $GITHUB_OUTPUT
         env:
-          TZ: Tokyo/Asia
+          TZ: Asia/Tokyo
 
       - id: deprecation
         run: |