Add github actions to devel

2021-09-28 01:21:39 +01:00
parent 1a00bd328c
commit c8382ccaff
1 changed files with 3 additions and 1 deletions
@@ -2,7 +2,9 @@ name: Build on Linux

 on:
  push:
-    branches: [ master ]
+    branches:
+      - master
+      - devel
  pull_request:
    branches: [ master ]