add run-name in all workflows and make docs workflow triggered only w…

…hen there are changes (#7) Co-authored-by: Baptiste O'Jeanson <[email protected]>
octo-technology · Dec 23, 2022 · 651b510 · 651b510
1 parent 98b8206
commit 651b510
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 0 deletions.
diff --git a/.github/workflows/publication_pages_gh-pages_branch.yml b/.github/workflows/publication_pages_gh-pages_branch.yml
@@ -1,11 +1,14 @@
 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
 
 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
@@ -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
@@ -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: