Skip to content

chore: install the kat tool in a dedicated home directory instead of using $PWD#72

Merged
ianbotsf merged 2 commits intomainfrom
chore-install-kat-outside-pwd
Mar 7, 2025
Merged

chore: install the kat tool in a dedicated home directory instead of using $PWD#72
ianbotsf merged 2 commits intomainfrom
chore-install-kat-outside-pwd

Commits

Commits on Mar 7, 2025