From 6e32d34b70df113d9a4a5395ad2322a6f8802f64 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Thu, 5 Sep 2024 22:38:06 +0200
Subject: [PATCH] initial

---
 .github/workflows/build.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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: