From 8b012653ac524a984b8f50e5de12a418134f0dd7 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Fri, 20 Dec 2024 18:04:11 +0100
Subject: [PATCH] CI: run on push/pr

---
 .github/workflows/nix.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
index 52b45d9..810e24e 100644
--- a/.github/workflows/nix.yml
+++ b/.github/workflows/nix.yml
@@ -2,6 +2,13 @@ name: "CI - Nix"
 
 on:
   push:
+    branches:
+    - master
+    - devel
+  pull_request:
+    branches:
+    - master
+    - devel
 
 jobs:
   nix: