On 08/02/2016 11:59 AM, Ramana Radhakrishnan wrote: > > > On Mon, Aug 1, 2016 at 8:07 PM, Roberto Bagnara <bagn...@cs.unipr.it > <mailto:bagn...@cs.unipr.it>> wrote: > > On 07/06/2016 11:19 PM, Stefan Ring wrote: > > What happened to the wonderful aarch64 machines? Any update on when > > they will be back again? > > No news? I also need to rerun some tests. > > > I just checked - I could login into gcc113, gcc114 and gcc115 - however I'm > unable to get into gcc116 and I've raised a support request.
Yes, today gcc113 is up and connected. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics and Computer Science, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it _______________________________________________ Gcc-cfarm-users mailing list Gcc-cfarm-users@gna.org https://mail.gna.org/listinfo/gcc-cfarm-users
