Code

Add pre-commit config, incl. fixes#751

Code

Open

MatthijsBurgh wants to merge 2 commits intomastertue-robotics/tue-env:masterfrom pre_committue-robotics/tue-env:pre_commitCopy head branch name to clipboard

+626-108

Commits

Commits on Jan 13, 2025

• Add pre-commit config, incl. fixes

  

  MatthijsBurgh

  authored and

  ar13pit

  committed
  0b9fa7d

  Copy full SHA for 0b9fa7d

Commits on Jan 16, 2025

• unset _tue-env-config-main also after failing execution

  MatthijsBurgh

  authored
  b52384e

  Copy full SHA for b52384e