Merge branch 'SummerOfBitcoin:main' into main

SummerOfBitcoin · Apr 17, 2024 · 7911353 · 7911353
2 parents b9f19b2 + 8701272
commit 7911353
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/classroom.yml b/.github/workflows/classroom.yml
@@ -10,6 +10,7 @@ permissions:
 jobs:
   run-autograding-tests:
     runs-on: ubuntu-latest
+    timeout-minutes: 10
     if: github.actor != 'github-classroom[bot]'
     steps:
       - name: Checkout code