Closed kgilpin closed 2 months ago
Ensure that o1 performs well with this fix in https://github.com/getappmap/navie-benchmark/actions/runs/10964879980/job/30449478774, then merge https://github.com/getappmap/navie-editor/pull/5, update the submodule and merge this PR.
Ensure that o1 performs well with this fix in https://github.com/getappmap/navie-benchmark/actions/runs/10964879980/job/30449478774, then merge https://github.com/getappmap/navie-editor/pull/5, update the submodule and merge this PR.