Re: PR builder not working now

2022-04-19 Thread Hyukjin Kwon
It's fixed now. On Tue, 19 Apr 2022 at 08:33, Hyukjin Kwon wrote: > It's still persistent. I will send an email to GitHub support today > > On Wed, 13 Apr 2022 at 11:04, Dongjoon Hyun > wrote: > >> Thank you for sharing that information! >> >> Bests >> Dongjoon. >> >> >> On Mon, Apr 11, 2022

Re: PR builder not working now

2022-04-19 Thread Dongjoon Hyun
It's great! Thank you. :) On Tue, Apr 19, 2022 at 4:42 PM Hyukjin Kwon wrote: > It's fixed now. > > On Tue, 19 Apr 2022 at 08:33, Hyukjin Kwon wrote: > >> It's still persistent. I will send an email to GitHub support today >> >> On Wed, 13 Apr 2022 at 11:04, Dongjoon Hyun >> wrote: >> >>>

Re: PR builder not working now

2022-04-19 Thread Wenchen Fan
Thank you, Hyukjin! On Wed, Apr 20, 2022 at 7:48 AM Dongjoon Hyun wrote: > It's great! Thank you. :) > > On Tue, Apr 19, 2022 at 4:42 PM Hyukjin Kwon wrote: > >> It's fixed now. >> >> On Tue, 19 Apr 2022 at 08:33, Hyukjin Kwon wrote: >> >>> It's still persistent. I will send an email to

Re: PR builder not working now

2022-04-19 Thread Qian SUN
Thanks for your work!! Hyukjin Kwon 于2022年4月20日周三 07:42写道： > It's fixed now. > > On Tue, 19 Apr 2022 at 08:33, Hyukjin Kwon wrote: > >> It's still persistent. I will send an email to GitHub support today >> >> On Wed, 13 Apr 2022 at 11:04, Dongjoon Hyun >> wrote: >> >>> Thank you for sharing