230827.221530.HKT archiva: correct the assertions in 230305 and 23080…

…4; use `check_success_timeout` for archiva verification

.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 }}