>> * 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://h...@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
restriction?
Cheers,
Florian
> _______________________________________________
> isabelle-dev mailing list
> isabelle-...@in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>
--
PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
