Merge branch 'docs-trigger' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Sat, 31 Jul 2021 17:16:26 +0000 (17:16 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Sat, 31 Jul 2021 17:16:26 +0000 (17:16 +0000)
ci: Trigger a pages build

See merge request GNOME/gtk!3811


Trivial merge