CI: add timeout to tests

In rare occasions, tests may hang for hours. In principle, tests should never take more than 10min to run, even the most underpowered computer.

Author: LaurentRDC

.github/workflows/cabal.yml

@@ -74,4 +74,7 @@ jobs:
       run: cabal build all ${{matrix.cabal-flags}}
 
     - name: Run all tests
+      # We have seen in the past some tests hang for hours, wasting resources.
+      # The timeout below should be plenty
+      timeout-minutes: 10
       run: cabal test all ${{matrix.cabal-flags}}