Philip May

Results 184 comments of Philip May

I don't think the CI problems have anything to do with the changes in this PR...

I think this is could be the "normal" low-prioity Azure preemption? :-(

Hi. Many thanks for this PR and sorry for the late reply. I'm a bit over my capacity at the moment. I am currently discussing with my colleagues how we...

Hi @bachorp : A colleague of mine was kind enough to review the PR and I'm going to merge it right away. Unfortunately, there is no one on our side...