From efdbda2a9e01c0f8efe1de87872ce031e78f842e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?H=C3=A9ctor=20Ram=C3=B3n=20Jim=C3=A9nez?= <hector@hecrj.dev>
Date: Fri, 15 Dec 2023 11:15:24 +0100
Subject: [PATCH] Run CI workflow on `pull_request` and `push`

---
 .github/workflows/ci.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2dab89f10e6..d3347fc79ce 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,10 +1,6 @@
 name: CI
 
-on:
-  pull_request:
-  push:
-    branches: [master]
-
+on: [pull_request, push]
 jobs:
   fmt:
     name: Check formatting