From 3ba4578044bf03560caa1bb4d4636df2a1c14992 Mon Sep 17 00:00:00 2001
From: Justin Carpentier <justin.carpentier@inria.fr>
Date: Thu, 27 Feb 2020 08:28:40 +0100
Subject: [PATCH] ci: add devel branch to Windows CI
---
.github/workflows/build.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 72835119..78128f39 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -4,6 +4,7 @@ on:
push:
branches:
- master
+ - devel
jobs:
build:
--
GitLab