Re: [isabelle-dev] Jenkins maintenance window

How about pushing feature branches instead? Cheers, Gerwin > On 16 Feb 2016, at 09:25, Lars Hupel wrote: > >> tonight between 20:00 UTC and 22:00 UTC there will be a maintenance >> window for the Jenkins instance. > > Maintenance period is over now. All builds are running

[isabelle-dev] Jenkins maintenance window

Dear Isabelle developers, tonight between 20:00 UTC and 22:00 UTC there will be a maintenance window for the Jenkins instance. No new build will be scheduled after 14:00 UTC. This ensures that nothing is running during the window. You can still push to testboard, but nothing will happen. I