Merge branch 'SummerOfBitcoin:main' into main

SummerOfBitcoin · Apr 23, 2024 · 7965432 · 7965432
2 parents cd9ab38 + 8701272
commit 7965432
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