[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:

  2ca3619... coverage: Build gidl-bindings
  807789c... ci: Add .gitlab-ci.yml
  2372f85... ci: Add ubuntu:16.04 run with gcc
  d2f1789... ci: Add archlinux:latest run with gcc
  ab8074e... ci: Add alpine:edge run with gcc
  695d4f2... ci: Add fedora:rawhide run with clang
  0c7a43c... Fedora rawhide is broken
  d5f1f3f... ci: Use Fedora 34 (broken DBus)
  cf70cfe... Ubuntu devel is broken
  3ed27ca... Alpine edge is broken
  f25d2a4... ci: Build manual as pdf and html
  fdaa351... ci: Always deploy

Commits added to the branch:

  1051b5f... codegen: Check required length of enum type name for GType  (*)
  b230e90... coverage: Build gidl-bindings
  cd7461b... ci: Add .gitlab-ci.yml
  f597498... ci: Add ubuntu:16.04 run with gcc
  d050602... ci: Add archlinux:latest run with gcc
  a3b5895... ci: Add alpine:edge run with gcc
  cd1025b... ci: Add fedora:rawhide run with clang
  6e351f4... Fedora rawhide is broken
  f3d31e8... ci: Use Fedora 34 (broken DBus)
  1d25dfd... Ubuntu devel is broken
  7f3a6e9... Alpine edge is broken
  e7af779... ci: Build manual as pdf and html
  7533d4f... ci: Always deploy

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