Merge pull request #79 from well-typed/jdral/ci-timeouts

`CI`: do not consider jobs as successes if they were timed out

Author: jorisdral

.github/workflows/haskell.yml

@@ -87,9 +87,10 @@ jobs:
 
     steps:
     - name: 🧪 Report failure
-      if: ${{ needs.build-and-test.result == 'failure' }}
+      if: ${{ needs.build-and-test.result != 'success' }}
       run: |
         echo "Some jobs failed"
+        echo "Result status: ${{ needs.build-and-test.result }}"
         exit 1
 
     - name: 🧪 Report success

.github/workflows/windows.yml

@@ -93,9 +93,10 @@ jobs:
 
     steps:
       - name: "Report failure"
-        if: ${{ needs.build-and-test.result == 'failure' }}
+        if: ${{ needs.build-and-test.result != 'success' }}
         run: |
           echo "Some jobs failed"
+          echo "Result status: ${{ needs.build-and-test.result }}"
           exit 1
 
       - name: "Report success"