Code

Remove dependency on rules_python#40

Code

Merged

thm-automation[bot] merged 1 commit intomaintheoremlp/rules_uv:mainfrom me/no-rules_pythontheoremlp/rules_uv:me/no-rules_pythonCopy head branch name to clipboardMay 22, 2024

+7-3

Commits

Commits on May 22, 2024

• Remove dependency on rules_python

  mark-thm

  committed
  afe552c