diff --git a/.github/workflows/publication_pages_gh-pages_branch.yml b/.github/workflows/publication_pages_gh-pages_branch.yml index 11888547..578b9a0f 100644 --- a/.github/workflows/publication_pages_gh-pages_branch.yml +++ b/.github/workflows/publication_pages_gh-pages_branch.yml @@ -1,4 +1,5 @@ name: Publication documentation in branch gh-pages +run-name: Publication documentation in branch gh-pages from branch >> ${{ github.ref_name }} << # this workflow will trigger the pages-build-deployment workflow that will deploy the branch gh-pages to github pages @@ -6,6 +7,8 @@ on: push: branches: - main + paths: + - 'docs/**' jobs: generate_and_deploy_documentation: diff --git a/.github/workflows/publication_vio_images.yml b/.github/workflows/publication_vio_images.yml index 6fd724a0..70fe8e93 100644 --- a/.github/workflows/publication_vio_images.yml +++ b/.github/workflows/publication_vio_images.yml @@ -1,4 +1,5 @@ name: Publication vio images to Github registry +run-name: Publication vio images to Github registry on branch >> ${{ github.ref_name }} << on: release: diff --git a/.github/workflows/publication_vio_images_raspberry.yml b/.github/workflows/publication_vio_images_raspberry.yml index 0486a5ac..591ae5b2 100644 --- a/.github/workflows/publication_vio_images_raspberry.yml +++ b/.github/workflows/publication_vio_images_raspberry.yml @@ -1,4 +1,5 @@ name: Publication vio images for raspberry to Github registry +run-name: Publication vio images for raspberry to Github registry on branch >> ${{ github.ref_name }} << on: release: