target/
.git/
.github/
*.md
!README.md
Dockerfile
.dockerignore
.gitignore
.envrc
.direnv/
flake.lock
result
spec/
tla/
packages/
