Stephanos Ioannidis e09f78a414 ci: doc-publish: Do not run for pull requests ... GitHub Actions may trigger the `workflow_run` event type when the pull request source branch name matches one of the branches specified under `branches:`. This commit updates the documentation publish workflow to skip when the preceding event type is `pull_request`, in order to prevent pull request documentation from being uploaded as main documentation. Signed-off-by: Stephanos Ioannidis <root@stephanos.io>		2022-05-20 23:26:14 +09:00
..
ISSUE_TEMPLATE	templates: nomination: Fix 'TSC Project Roles' link	2022-04-12 22:21:54 +09:00
workflows	ci: doc-publish: Do not run for pull requests	2022-05-20 23:26:14 +09:00
SECURITY.md	…
labeler.yml	everywhere: fix typos	2022-03-18 13:24:08 -04:00
license_config.yml	…