Closed LilithHafner closed 9 months ago
Need merge queue :(
ðŸ˜
Well, at least we don't enforce Codecov as a required status check on this repo. That might make this easier.
I clicked merge-when-ready but it seems to be waiting on integration tests. I'll merge in main so they run and get skipped.
This was a surprisingly involved pull request, considering the diff. :)
bors merge