[GHA] Make runnable workflow more explicit in GUI

.github/workflows/trigger-compilation.yaml

@@ -1,13 +1,14 @@
 # This workflow will build a package using Maven and then publish it to GitHub packages when a release is created
 # For more information see: https://github.com/actions/setup-java#apache-maven-with-a-settings-path
 
-name: Continuous project validation
+name: [RUNNABLE] Continuous project validation
 
 on:
   # Triggers the workflow on push or pull request events but only for the master branch
   push:
     branches: [ 2024-06 ]
     paths-ignore:
+      - '.github/**'
       - 'travis/**'
 
   workflow_dispatch: # For manual trigger

.github/workflows/trigger-doc-regeneration.yaml

@@ -4,7 +4,7 @@
 # + trigger GHA on website's repository
 # 
 
-name: Documentation Auto Refresh
+name: [RUNNABLE] Documentation Auto Refresh
 
 on:
   workflow_dispatch:  # For manual trigger
@@ -70,4 +70,4 @@ jobs:
             -H "Accept: application/vnd.github+json" \
             -H "Authorization: token ${{ secrets.BOT_TOKEN }}" \
             --data '{"event_type": "automated-generation"}' \
-            https://api.github.com/repos/gama-platform/gama-platform.github.io/dispatches
+            https://api.github.com/repos/gama-platform/gama-platform.github.io/dispatches

.github/workflows/trigger-gama-release.yaml

@@ -1,4 +1,4 @@
-name: Make new GAMA release
+name: [RUNNABLE] Make new GAMA release
 
 on:  
   workflow_dispatch: