[isabelle-dev] Testing Isabelle against the AFP

Tobias Nipkow nipkow at in.tum.de
Mon Jan 17 10:21:14 CET 2022


See https://ci.isabelle.systems/status/

Tobias

On 15/01/2022 14:02, Clemens Ballarin wrote:
> Dear Developers,
> 
> there used to be infrastructure (called Testboard) for integration tests of 
> Isabelle and the AFP. Does this still exist? If so, could somebody please 
> provide me with instructions and, if necessary, access?
> 
> Clemens
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5535 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20220117/08fbe5be/attachment.bin>


More information about the isabelle-dev mailing list