Set timeout-minutes to 20

howsoai · Jul 31, 2024 · e5ae663 · e5ae663
1 parent b4718f9
commit e5ae663
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -83,6 +83,7 @@ jobs:
         ./amalgam${{ matrix.amlg-postfix }} --version
 
     - name: Run Evolver
+      timeout-minutes: 20
       id: run
       run: |
         # Install GDB
@@ -115,7 +116,7 @@ jobs:
           fi
         else
           # If GDB exited with code 0, there was a segfault
-          echo "$gdb_output"
+          echo "$gdb_output" | tail -n 200
           exit 139
         fi