diff --git a/.github/workflows/trigger-compilation.yaml b/.github/workflows/trigger-compilation.yaml index d5c4114148..f9e29f3d0a 100644 --- a/.github/workflows/trigger-compilation.yaml +++ b/.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 diff --git a/.github/workflows/trigger-doc-regeneration.yaml b/.github/workflows/trigger-doc-regeneration.yaml index f34ae9a45e..3fb3b21279 100644 --- a/.github/workflows/trigger-doc-regeneration.yaml +++ b/.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 \ No newline at end of file + https://api.github.com/repos/gama-platform/gama-platform.github.io/dispatches diff --git a/.github/workflows/trigger-gama-release.yaml b/.github/workflows/trigger-gama-release.yaml index 10337dc9a9..767bee9e3c 100644 --- a/.github/workflows/trigger-gama-release.yaml +++ b/.github/workflows/trigger-gama-release.yaml @@ -1,4 +1,4 @@ -name: Make new GAMA release +name: [RUNNABLE] Make new GAMA release on: workflow_dispatch: