From b9343462f66f6e1ee94b001190f877b9063dd154 Mon Sep 17 00:00:00 2001
From: Manuel Serrano <Manuel.Serrano@inria.fr>
Date: Thu, 11 Apr 2024 11:11:01 +0200
Subject: [PATCH] Github workflow fix (attempt)

---
 .github/workflows/hiphop.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/hiphop.yml b/.github/workflows/hiphop.yml
index cb400153..96aa7f7c 100644
--- a/.github/workflows/hiphop.yml
+++ b/.github/workflows/hiphop.yml
@@ -3,9 +3,9 @@ name: HipHop.js CI
 
 on:
   push:
-    branches: [ "1.3.x" ]
+    branches: [ "1.3.x", "master" ]
   pull_request:
-    branches: [ "1.3.x" ]
+    branches: [ "1.3.x", "master" ]
 
 jobs:
   build: