Pipeline · Luke081515 / Luke081515Bot · GitLab

More logging, better error handling, higher timeout

6 jobs for higherURV in 43 seconds (queued for 1 second)

Status	Job ID	Name		Coverage
Lint
passed	#21918	lint:lint-php5.6	00:00:18 Mar 22, 2020
passed	#21919	lint:lint-php7.0	00:00:19 Mar 22, 2020
passed	#21920	lint:lint-php7.1	00:00:20 Mar 22, 2020
passed	#21921	lint:lint-php7.2	00:00:20 Mar 22, 2020
passed	#21923	lint:lint-php7.3	00:00:23 Mar 22, 2020
failed	#21922	lint:lint-php7.3	00:00:10 Mar 22, 2020