chore: ignore worktree dirs
CI / lint (push) Successful in 29s
CI / eval (push) Successful in 1m54s

This commit is contained in:
Miguel Palhas
2026-08-19 22:40:04 +01:00
parent 77d8803a8f
commit 3eb0a098a2
+3
View File
@@ -19,6 +19,9 @@ tmp/**/*
*.log
*.tmp
# Local git worktree checkouts
worktrees/
# Latex
_inputs.tex
_sections.tex