Merge remote-tracking branch 'upstream/master' into minor_fix

# Conflicts:
#	docs/topics/annotations.md
#	docs/topics/whatsnew/whatsnew22.md

Author: LiYing2010

.github/workflows/verify-samples.yml

@@ -13,9 +13,9 @@ jobs:
         uses: actions/setup-java@v3
         with:
           java-version: '17'
-          distribution: 'zulu'
+          distribution: 'corretto'
       - name: Run a verifier
-        uses: zoobestik/kotlin-samples-verifier@master
+        uses: AlexanderPrendota/kotlin-samples-verifier@master
         with:
           push-repository: 'https://github.com/JetBrains/kotlin-compiler-server'
           tag-filter: '#tag="code" & kotlin-runnable="true" & !validate="false"'

.junie/.gitignore

@@ -0,0 +1 @@
+/tasks.md