Hi,
Doctor CI jobs are now available and I confirmed those returns green lights
with current codes on the master branch.
Reviewers, please check the CI results before merging a patch set. If the CI
jobs were run before Dec 2nd, just trigger CI jobs again by leaving comment
"recheck".
doct
This is still a work in progress so assertions for now every assertable thing
may be fully developed yet. And there’s an important cost/benefit calculation
in how deep we go with that (for example, I do not include assertions for the
workarounds for Mitaka Tacker limitations). But I expect to be
