Code

Use the official pre-commit actions#60

Code

Merged

jvolkman merged 1 commit intomainjvolkman/rules_pycross:mainfrom dev/precommit.cijvolkman/rules_pycross:dev/precommit.ciCopy head branch name to clipboardDec 8, 2023

+18-30

Commits

Commits on Dec 8, 2023

• Tweak pre-commit workflow config

  jvolkman

  committed
  e11948b

  Copy full SHA for e11948b