Re: [isabelle-dev] Jenkins maintenance window

[Gerwin Klein]

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 again.
>
> Mails are not yet sent to the mailing list, neither is there a benchmark
> job. The reason follows.
>
>
> There was some weirdness wrt to the testboard. New jobs would suddenly
> complain about 'bin/isabelle not found' or similar. My suspicion was
> that either Jenkins, Mercurial or both got confused about the meaning of
> the "default" branch (possibly an ancient revision which reappeared?),
> so I nuked and re-create all testboard jobs, resulting in the loss of
> old builds (those weren't of much value anyway).
>
> However, turns out that the actual problem was that somebody pushed
> something completely unrelated (maybe a different repository?) into
> testboard. This also generated a gargantuan changelog in Jenkins. I
> don't blame that person, it could happen to anyone. But we need to fix
> this workflow of force-pushing into some "dumping ground" repository.
> Any ideas?
>
> Cheers
> Lars
> ___
> isabelle-dev mailing list
> isabelle-...@in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev




The information in this e-mail may be confidential and subject to legal 
professional privilege and/or copyright. National ICT Australia Limited accepts 
no liability for any damage caused by this email or its attachments.
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] Jenkins maintenance window

[Lars Hupel]

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 kindly ask
to refrain from pushing to the official repositories until after 22:00 UTC.

During the window I hope to be able to make changes which makes it less
likely that I have to take the system offline to make changes in the future.

It might become necessary for me to send test mails to the newly
established [isabelle-ci] mailing list. I apologize in advance for the
noise.

Cheers
Lars
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev