s/develop/devel

3 years ago · d11d379e35
parent 5bc7444494
commit d11d379e35
1 changed files with 2 additions and 1 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -3,7 +3,8 @@ name: Continuous Integration
 on:
  push:
    branches:
-      - master
+      - main
+      - devel
  pull_request:

 env: