Lint with type checker

Workflow runs for Lint with type checker

• ci: bump workflow actions

  failed:
  Lint with type checker#6:Commit7d6545bpushedbythegamecracks
  master

  Oct 21, 202634s
  More actions for workflow run 6

• build: bump version to 1.3.0

  failed:
  Lint with type checker#5:Commita870118pushedbythegamecracks
  v1.3.0

  Aug 5, 202633s
  More actions for workflow run 5

• build: bump version to 1.3.0

  failed:
  Lint with type checker#4:Commita870118pushedbythegamecracks
  master

  Aug 5, 202634s
  More actions for workflow run 4

• ci: remove obsoleted fetch-depth / fetch-tags options

  failed:
  Lint with type checker#3:Commit342f499pushedbythegamecracks
  v1.3.0a3

  Jul 24, 202628s
  More actions for workflow run 3

• ci: remove obsoleted fetch-depth / fetch-tags options

  failed:
  Lint with type checker#2:Commit342f499pushedbythegamecracks
  master

  Jul 24, 202636s
  More actions for workflow run 2

• docs: add badges for new workflows

  failed:
  Lint with type checker#1:Commitdf218f3pushedbythegamecracks
  v1.3.0a3

  Jul 24, 202615s
  More actions for workflow run 1