diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e5ace72..ab87530 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,8 +1,6 @@
 name: Build Agda
 
-on:
-  push:
-    branches: [main]
+on: [push]
 
 jobs:
   build: