Clean ci scripts

.github/workflows/ci-cache-clean-pr.yml

@@ -2,6 +2,7 @@
 # This clean the caches of a branch when we close the pull request.
 # See https://github.com/actions/cache/blob/main/tips-and-workarounds.md#force-deletion-of-caches-overriding-default-cache-eviction-policy
 name: Cleanup caches of a closed branch
+
 on:
   pull_request:
     types: [closed]

.github/workflows/ci-on-push.yml

@@ -2,7 +2,6 @@ name: "CI-PUSH"
 
 on: [push]
 
-
 jobs:
   pre-commit:
     uses: ./.github/workflows/pre-commit.yml

.github/workflows/ci-pr-autoassign-v18.yml

@@ -13,6 +13,7 @@
 # - On push to 18.0: workflow runs but PR-specific actions are skipped
 #
 name: Set reviewer and label for v18
+
 on:
   pull_request_target:
     types: [opened, synchronize, reopened]

.github/workflows/ci-tag-check.yml.disabled

@@ -11,11 +11,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v7
         with:
           fetch-depth: 0
 
-      - name: Verify tag is on main
+      - name: Verify tag is on expected branch and not on main
         run: |
           TAG_COMMIT=$(git rev-list -n 1 $GITHUB_REF)
           if ! git branch --contains $TAG_COMMIT | grep -q "18.0"; then

.github/workflows/gh-travis.yml.disabled

@@ -1,6 +1,7 @@
 ---
 # This runs a travis script inside a github runner
 name: Travis
+
 # Controls when the workflow will run
 on:
   # workflow called by the parent workflow ci.yml
@@ -16,9 +17,11 @@ concurrency:
   group: travis-${{ github.workflow }}-${{ github.event.pull_request.number || github.ref
     }}
   cancel-in-progress: true
+
 env:
   gh_event: ${{ inputs.gh_event || github.event_name }}
   GITHUB_JSON: ${{ toJSON(github) }}  # Helps in debugging Github Action
+
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
   # This workflow contains a single job

.github/workflows/pre-commit.yml

@@ -14,6 +14,7 @@ on:
 concurrency:
   group: pre-commit-${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true
+
 env:
   gh_event: ${{ inputs.gh_event || github.event_name }}