Robbert van der Helm 18a679ce68 Only run docs workflow on master branch pushes ... This shouldn't be run for PRs.		2022-06-16 13:11:54 +02:00
..
workflows	Only run docs workflow on master branch pushes	2022-06-16 13:11:54 +02:00