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 [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
