It seems that we are running the build server in a way that a new enforcement mechanism disables http https serving. I'll follow up on the issue when I return.
On Sun, Jun 30, 2019 at 1:30 PM Roberto Lublinerman <[email protected]> wrote: > fixed > > On Sun, Jun 30, 2019 at 1:20 PM Roberto Lublinerman <[email protected]> > wrote: > >> It seems that there was some automatic configuration change that added a >> few firewall rules. I am looking into this but I will be out for a couple >> of weeks and I don't know if I'll be able to fix that before I return. >> >> On Sat, Jun 29, 2019 at 12:42 PM Jens <[email protected]> wrote: >> >>> Can anybody with the appropriate permissions mark >>> https://gwt-review.googlesource.com/c/gwt/+/21680 as verified so it can >>> be merged and possibly figure out why Jenkins does an endless fast style >>> check? >>> >>> Also http://build.gwtproject.org isn't reachable for me. Wondering if >>> there is really an issue with the server or if some network route is broken. >>> >>> -- J. >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "GWT Contributors" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to [email protected] >>> . >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/google-web-toolkit-contributors/75d073bf-8b32-481b-9435-dd86ea29d2eb%40googlegroups.com >>> <https://groups.google.com/d/msgid/google-web-toolkit-contributors/75d073bf-8b32-481b-9435-dd86ea29d2eb%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> For more options, visit https://groups.google.com/d/optout. >>> >> -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAC7T7gmLOSYRxKMZ6GpZJXvxnPp_TzOG29sTgOWKiYHBaZ_Q5w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
