diff --git a/.github/workflows/update_docs.yml b/.github/workflows/update_docs.yml index aea7b04224..6a4b4bf917 100644 --- a/.github/workflows/update_docs.yml +++ b/.github/workflows/update_docs.yml @@ -1,8 +1,10 @@ name: Generate and deploy documentation on GH pages # update on releases or when triggered manually(must have write access) -on: [release, workflow_dispatch] - +on: + release: + types: [published] + workflow_dispatch: jobs: update_docs: runs-on: ubuntu-latest diff --git a/.github/workflows/version.yml b/.github/workflows/version.yml index 237ee58312..db37adf2e9 100644 --- a/.github/workflows/version.yml +++ b/.github/workflows/version.yml @@ -1,4 +1,6 @@ -on: release +on: + release: + types: [published] jobs: add-dev-to-version: runs-on: ubuntu-latest @@ -13,3 +15,6 @@ jobs: branch: add-dev-post-release # name of the created branch branch-suffix: timestamp # add a timestamp to branch name delete-branch: true # delete afer merge + title: Append dev to version number post-release + body: automated change, adds '-dev' to the version number upon releases + reviewers: rem1776