diff --git a/.github/workflows/make-doc.yml b/.github/workflows/make-doc.yml index 1d5e4605d..f1b728ad6 100644 --- a/.github/workflows/make-doc.yml +++ b/.github/workflows/make-doc.yml @@ -4,6 +4,8 @@ on: push: branches: [ master ] tags: + release: + types: [ published ] jobs: make_doc: