[geary/geary-0.12: 3/3] Merge branch 'wip/gitlab-ci-0.12' into 'geary-0.12'

[Michael Gratton <mjog src gnome org>]

commit 3bc799aff9e6106bc53332f5b4e28f7f637e12a0
Merge: 3bb464c5 72ee4626
Author: Michael Gratton <mike vee net>
Date:   Wed Jul 4 00:57:26 2018 +0000

    Merge branch 'wip/gitlab-ci-0.12' into 'geary-0.12'
    
    Gitlab CI for 0.12
    
    See merge request GNOME/geary!13

 .gitlab-ci.yml                                     | 110 +++++++++++++++++++++
 .../imap/transport/imap-deserializer-test.vala     |  44 +++++----
 2 files changed, 135 insertions(+), 19 deletions(-)
---