Build: #543 was successful

Job: PHP 7.2 - SQLite Coverage was successful

Job result summary

Completed
Duration
12 minutes
Agent
Default Agent
Revision
15960a7918e01bca66767608d5a0f2a6db5ea693 15960a7918e01bca66767608d5a0f2a6db5ea693
First to pass since
#542 (Changes by Marc)

Configuration changes

Job PHP 7.2 - SQLite Coverage with key PHPBB3-DD33-COV no longer exists.