Code

Use mypy's hard exit for perf#13

Code

Merged

thm-automation[bot] merged 1 commit intomaintheoremlp/rules_mypy:mainfrom me/hard_exittheoremlp/rules_mypy:me/hard_exitCopy head branch name to clipboardAug 9, 2024

+4-1

Commits

Commits on Aug 9, 2024

• Use mypy's hard exit for perf

  mark-thm

  committed
  f440cf1