type checks

Workflow runs for type checks

• Add type checking support for developers

  completed successfully:
  type checks#6:Pull request#2008synchronizebyniccokunzmann
  issue-2007

  Oct 22, 202626s
  More actions for workflow run 6

• Add type checking support for developers

  completed successfully:
  type checks#5:Pull request#2008synchronizebyniccokunzmann
  issue-2007

  Oct 22, 202621s
  More actions for workflow run 5

• Add type checking support for developers

  failed:
  type checks#4:Pull request#2008synchronizebyniccokunzmann
  issue-2007

  Oct 22, 202620s
  More actions for workflow run 4

• Add type checking support for developers

  failed:
  type checks#3:Pull request#2008synchronizebyniccokunzmann
  issue-2007

  Oct 22, 202623s
  More actions for workflow run 3

• Add type checking support for developers

  failed:
  type checks#2:Pull request#2008synchronizebyniccokunzmann
  issue-2007

  Oct 22, 202627s
  More actions for workflow run 2

• Add type checking support for developers

  completed successfully:
  type checks#1:Pull request#2008synchronizebyniccokunzmann
  issue-2007

  Oct 22, 202621s
  More actions for workflow run 1