Skip to content

Fix results directory and evaluator log for cancelled queries#2996

Merged
koesie10 merged 4 commits intomainfrom
koesie10/query-save-dir
Oct 23, 2023
Merged

Fix results directory and evaluator log for cancelled queries#2996
koesie10 merged 4 commits intomainfrom
koesie10/query-save-dir

Commits

Commits on Oct 19, 2023