Open mjp41 opened 3 years ago
@SchrodingerZhu do we want to add something like this to CI? Prevent future breaks of this kind of thing? Happy to move out of draft if you think it is valuable.
@mjp41 I think it is great to have this merged?
@SchrodingerZhu do we want to add something like this to CI? Prevent future breaks of this kind of thing? Happy to move out of draft if you think it is valuable.