Use the test runner to avoid hitting the CI hard limit mid-test suite

Author: shym

.github/workflows/common.yml

@@ -81,6 +81,7 @@ jobs:
   build-and-test:
     env:
       QCHECK_MSG_INTERVAL:      '60'
+      TIMEOUT:                  ${{ inputs.timeout }}
       DUNE_PROFILE:             ${{ inputs.dune_profile }}
       OCAMLRUNPARAM:            ${{ inputs.runparam }}
       ONLY_TEST:                ${{ inputs.only_test }}
@@ -118,6 +119,10 @@ jobs:
             echo "LDFLAGS=-L/usr/lib/i386-linux-gnu/" >> $GITHUB_ENV
           fi
 
+          # Compute a deadline to respect time-out
+          echo "DEADLINE=$(date -d "now + $((TIMEOUT - 3)) minutes" +%s)" >> "$GITHUB_ENV"
+          cat "$GITHUB_ENV"
+
           # Generate an OPAM config for a custom compiler
           if [ -n "$CUSTOM_COMPILER_VERSION" ]; then
             if [ -z "$CUSTOM_COMPILER_SRC" ]; then