[isabelle-dev] Build NEWS

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Mon Jun 13 19:41:21 CEST 2016

>> * As pointed out by Larry, navigation on the Jenkins pages is a
>> pain. I've revamped the status page with helpful links to the build 
>> outputs of the various jobs and instructions on how to use the
>> testboard:
>>   <https://ci.isabelle.systems/status/>

Ah, excellent.

Just two remarks:

* The URLs to push to are IMHO best presented using an hgrc excerpt, e.g.

> [paths]
> testboard = ssh://hg@bitbucket.org/isa-afp/afp-testboard
> [alias]
> push_to_testboard = push -f testboard

That way the risk for accidental pushes is greatly reduced

* AFAIS, pushing to the Isabelle testboard still requires local access
rights at TUM.  Are there any fundamental impediments to lift this


> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20160613/419d00f4/attachment.sig>

More information about the isabelle-dev mailing list