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

  9ab61d7... Fedora rawhide is broken
  466fffc... ci: Build manual as pdf and html
  9d0738f... ci: Always deploy

Commits added to the branch:

  7bceb60... Ubuntu devel is broken
  9bbae40... ci: Build manual as pdf and html
  4a9a82f... ci: Always deploy