240609.234102.HKT revise yml regarding check_success_timeout

.github/workflows/profile_all_sq.yml

@@ -223,7 +223,8 @@ jobs:
           repository: equipez/github_actions_scripts
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           path: scripts
-
+      - name: Check whether the tests were successful or cancelled due to timeout
+        run: bash scripts/check_success_timeout ${{ secrets.GITHUB_TOKEN }} ${{ github.repository }} ${{ github.run_id }}
 
   merge_artifacts:
     continue-on-error: true  # As of 20240218, this action may fail if there are too many artifacts. We ignore the failure.

.github/workflows/profile_bobyqa_small_sq.yml

@@ -172,7 +172,8 @@ jobs:
           repository: equipez/github_actions_scripts
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           path: scripts
-
+      - name: Check whether the tests were successful or cancelled due to timeout
+        run: bash scripts/check_success_timeout ${{ secrets.GITHUB_TOKEN }} ${{ github.repository }} ${{ github.run_id }}
 
   merge_artifacts:
     continue-on-error: true  # As of 20240218, this action may fail if there are too many artifacts. We ignore the failure.

.github/workflows/profile_cobyla_small_sq.yml

@@ -196,7 +196,8 @@ jobs:
           repository: equipez/github_actions_scripts
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           path: scripts
-
+      - name: Check whether the tests were successful or cancelled due to timeout
+        run: bash scripts/check_success_timeout ${{ secrets.GITHUB_TOKEN }} ${{ github.repository }} ${{ github.run_id }}
 
   merge_artifacts:
     continue-on-error: true  # As of 20240218, this action may fail if there are too many artifacts. We ignore the failure.

.github/workflows/profile_lincoa_small_sq.yml

@@ -188,7 +188,8 @@ jobs:
           repository: equipez/github_actions_scripts
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           path: scripts
-
+      - name: Check whether the tests were successful or cancelled due to timeout
+        run: bash scripts/check_success_timeout ${{ secrets.GITHUB_TOKEN }} ${{ github.repository }} ${{ github.run_id }}
 
   merge_artifacts:
     continue-on-error: true  # As of 20240218, this action may fail if there are too many artifacts. We ignore the failure.

.github/workflows/profile_newuoa_small_sq.yml

@@ -172,7 +172,8 @@ jobs:
           repository: equipez/github_actions_scripts
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           path: scripts
-
+      - name: Check whether the tests were successful or cancelled due to timeout
+        run: bash scripts/check_success_timeout ${{ secrets.GITHUB_TOKEN }} ${{ github.repository }} ${{ github.run_id }}
 
   merge_artifacts:
     continue-on-error: true  # As of 20240218, this action may fail if there are too many artifacts. We ignore the failure.

.github/workflows/profile_uobyqa_small_sq.yml

@@ -174,7 +174,8 @@ jobs:
           repository: equipez/github_actions_scripts
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           path: scripts
-
+      - name: Check whether the tests were successful or cancelled due to timeout
+        run: bash scripts/check_success_timeout ${{ secrets.GITHUB_TOKEN }} ${{ github.repository }} ${{ github.run_id }}
 
   merge_artifacts:
     continue-on-error: true  # As of 20240218, this action may fail if there are too many artifacts. We ignore the failure.

.github/workflows/test_gfortran.yml

@@ -155,6 +155,5 @@ jobs:
           repository: equipez/github_actions_scripts
           ssh-key: ${{ secrets.SSH_PRIVATE_KEY_ACT }} # This forces checkout to use SSH, not HTTPS
           path: scripts
-
       - name: Check whether the tests were successful or cancelled due to timeout
         run: bash scripts/check_success_timeout ${{ secrets.GITHUB_TOKEN }} ${{ github.repository }} ${{ github.run_id }}