[vala] (13 commits) Non-fast-forward update to branch wip/ci

[Rico Tzschichholz <ricotz src gnome org>]

The branch 'wip/ci' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  3d6b376... coverage: Build gidl-bindings
  0444ba7... ci: Add .gitlab-ci.yml
  5fd93ab... ci: Add ubuntu:16.04 run with gcc
  264c153... ci: Add archlinux:latest run with gcc
  46acc2e... ci: Add alpine:edge run with gcc
  f6f546c... ci: Add fedora:rawhide run with clang
  ea79e46... Fedora rawhide is broken
  8703011... Ubuntu devel is broken
  22a1ece... Alpine edge is broken
  5e3f300... ci: Build manual as pdf and html
  82aa30d... ci: Always deploy

Commits added to the branch:

  7996b74... Sync NEWS from 0.54 (*)
  01b8729... vala: Really check compatiblity of error types for delegate (*)
  a28d684... coverage: Build gidl-bindings
  d8912e8... ci: Add .gitlab-ci.yml
  73e97c1... ci: Add ubuntu:16.04 run with gcc
  56b7f42... ci: Add archlinux:latest run with gcc
  fbe4be2... ci: Add alpine:edge run with gcc
  72aaba3... ci: Add fedora:rawhide run with clang
  d736426... Fedora rawhide is broken
  6633d7f... Ubuntu devel is broken
  ce2bfd8... Alpine edge is broken
  7989bc5... ci: Build manual as pdf and html
  f596a61... ci: Always deploy

(*) This commit already existed in another branch; no separate mail sent