From 1b9ccf9cc62b2f6215c7f9399e9249850d8bdf1e Mon Sep 17 00:00:00 2001
From: Gabor Kiss-Vamosi <kisvegabor@gmail.com>
Date: Mon, 8 Jun 2020 13:56:45 +0200
Subject: [PATCH] add the dev branch to CI

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

diff --git a/.github/workflows/ccpp.yml b/.github/workflows/ccpp.yml
index 24e34a597..eb40232e2 100644
--- a/.github/workflows/ccpp.yml
+++ b/.github/workflows/ccpp.yml
@@ -2,9 +2,9 @@ name: C/C++ CI
 
 on:
   push:
-    branches: [ master ]
+    branches: [ master, dev ]
   pull_request:
-    branches: [master ]
+    branches: [master, dev ]
 
 jobs:
   build: