Martin Weinelt dd7d37b8e4 Jenkinsfile: add timeout to build and test steps ... This will hopefully make CI runs more robust and recover stale workers.		2020-04-26 23:26:09 +02:00
..
jenkins-community-slave	contrib/ci: document kvm permissions configuration	2020-04-26 00:25:11 +02:00
minimal-site	contrib: Set up continuous integration through Jenkins	2019-09-26 16:12:09 +02:00
Jenkinsfile	Jenkinsfile: add timeout to build and test steps	2020-04-26 23:26:09 +02:00