Merge branch 'SummerOfBitcoin:main' into main

SummerOfBitcoin · Apr 30, 2024 · a7150c5 · a7150c5
2 parents ca15d3b + 8701272
commit a7150c5
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