Improve Nix derivation

This commit is contained in:
2025-07-10 15:12:16 +02:00
parent 8edbc48ff1
commit 1e8ff04930
4 changed files with 103 additions and 42 deletions

3
.gitignore vendored
View File

@@ -1,2 +1,5 @@
.direnv
build/
data.trace.db
*.jar
result