From bae5c97f9eeb09ed5507e9a62c1f0f09f759d7ac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergio=20S=C3=A1nchez=20Ram=C3=ADrez?= Date: Wed, 23 Aug 2023 01:08:35 +0200 Subject: [PATCH] Relax Documenter workflow triggers --- .github/workflows/Documenter.yml | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/.github/workflows/Documenter.yml b/.github/workflows/Documenter.yml index a40ecdd05..19ba52240 100644 --- a/.github/workflows/Documenter.yml +++ b/.github/workflows/Documenter.yml @@ -1,15 +1,9 @@ name: Documenter on: push: - tags: - - 'v*' - branches: - - "master" - paths: - - '**.toml' - - '**.jl' - - 'docs/*' - + branches: [master] + tags: [v*] + pull_request: workflow_dispatch: permissions: