On 4/14/21 5:50 AM, Omair Javaid wrote:
Ping!
Tom, any update on this?
Yes, thanks for reminding me. The infrastructure is in place now, so
we can start adding more bots. Do you have a bot that you want to add?
-Tom
On Mon, 15 Feb 2021 at 20:02, Nemanja Ivanovic mailto:nemanja.i@gmai
Ping!
Tom, any update on this?
On Mon, 15 Feb 2021 at 20:02, Nemanja Ivanovic
wrote:
> We are interested in doing this for PPC as well. Not likely for all of our
> bots, but one or two select ones.
>
> On Fri, Feb 12, 2021 at 11:51 AM Tom Stellard via cfe-dev <
> cfe-...@lists.llvm.org> wrote:
