Open jacobyoby opened 1 year ago
Nothing special in this PR
Some of this looks useful -- running locally it takes pip install a long time to figure out a good choice of dependency versions to use.
What hinders this from getting merged? Would you prefer to get these changes split into more PRs?
merge into main