This project uses Jenkins.
The following is a link to the continuous integration system used by the project.
http://diana.ms.mff.cuni.cz:8080/
No notifiers are defined. Please check back at a later date.