[vala] (12 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:

  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

Commits added to the branch:

  4a1fe51... vala: Correctly output signature of callable throwing error (*)
  d5e3341... coverage: Build gidl-bindings
  e874eaa... ci: Add .gitlab-ci.yml
  765389d... ci: Add ubuntu:16.04 run with gcc
  9965484... ci: Add archlinux:latest run with gcc
  4373eaf... ci: Add alpine:edge run with gcc
  007ca38... ci: Add fedora:rawhide run with clang
  78e06b2... Fedora rawhide is broken
  5506265... Ubuntu devel is broken
  242810c... Alpine edge is broken
  f459338... ci: Build manual as pdf and html
  9368934... ci: Always deploy

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