diff --git a/.development b/.development
index 33f66f815e..5e2ea2df21 160000
--- a/.development
+++ b/.development
@@ -1 +1 @@
-Subproject commit 33f66f815ed919a238c467cba6556fc906a4c47e
+Subproject commit 5e2ea2df21649e6b4a9a21408e042045649dc57c
diff --git a/.github/workflows/verify_archiva.yml b/.github/workflows/verify_archiva.yml
index 76ecff3731..d627bd9d0e 100644
--- a/.github/workflows/verify_archiva.yml
+++ b/.github/workflows/verify_archiva.yml
@@ -28,6 +28,7 @@ jobs:
   test:
     name: Verify PRIMA.
     runs-on: ${{ matrix.os }}
+    continue-on-error: true
     strategy:
       fail-fast: false
       matrix:
@@ -112,3 +113,20 @@ jobs:
             delete([upper('${{ matrix.solver }}'), '_output.txt']);
             delete('fort.6');
             cd(root_dir); setup clean; setup uninstall;
+
+  # The following job check whether the tests were successful or cancelled due to timeout.
+  # N.B.: Remember to specify `continue-on-error: true` for the job of the tests.
+  check_success_timeout:
+    runs-on: ubuntu-latest
+    if: ${{ !cancelled() }}
+    needs: test
+    steps:
+      - name: Clone the GitHub actions scripts
+        uses: actions/checkout@v3.5.3
+        with:
+          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 }}