Code

move lints outside infra check#1219

Code

Merged

OmarTawfik merged 1 commit intoNomicFoundation:mainNomicFoundation/slang:mainfrom OmarTawfik-forks:split-infra-checkOmarTawfik-forks/slang:split-infra-checkCopy head branch name to clipboardJan 16, 2025

+38-25

Commits

Commits on Jan 16, 2025

• move lints outside infra check

  OmarTawfik

  committed
  f3634b5

  Copy full SHA for f3634b5