Merge branch 'master'

Dreksh · Jan 24, 2024 · e9523fd · e9523fd
2 parents a5817bc + 8a4eaa0
commit e9523fd
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,11 +1,16 @@
 name: Build
 
 on:
-  push:
+  # Run workflow on any pull request.
   pull_request:
 
+  # Run workflow on pushes to the master branch.
+  push:
+    branches: [master]
+
 jobs:
-  build:
+  run-tests:
+    timeout-minutes: 15
     strategy:
       matrix:
         os: [ubuntu-latest, macos-latest]