From a8bb18b762c8983edb76054cbe2251931d8a1f40 Mon Sep 17 00:00:00 2001
From: Enrico Ghiorzi <enrico.ghiorzi@edu.unige.it>
Date: Fri, 31 May 2024 19:19:38 -0400
Subject: [PATCH] Run GitHub Actions on any push or pull request

Signed-off-by: Enrico Ghiorzi <enrico.ghiorzi@edu.unige.it>
---
 .github/workflows/rust.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index ac1288a..eaf6d05 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -5,11 +5,7 @@ permissions:
   pages: write
   id-token: write
   
-on:
-  push:
-    branches: [ "main" ]
-  pull_request:
-    branches: [ "main" ]
+on: [push, pull_request]
 
 env:
   CARGO_TERM_COLOR: always