CodeQL probe

Workflow runs for CodeQL probe

• chore: throwaway CodeQL probe for issue #7

  failed:
  CodeQL probe#3:Commit8b2411apushedbyYangtseSu
  codeql-kotlin-2420-probe

  Sep 16, 20264m 11s
  More actions for workflow run 3

• chore: throwaway CodeQL probe for issue #7

  completed successfully:
  CodeQL probe#2:Commit5a11f79pushedbyYangtseSu
  codeql-kotlin-2420-probe

  Sep 16, 20268m 7s
  More actions for workflow run 2

• chore: throwaway CodeQL probe for issue #7

  failed:
  CodeQL probe#1:Commit9d38d56pushedbyYangtseSu
  codeql-kotlin-2420-probe

  Sep 16, 202619s
  More actions for workflow run 1