Merge pull request #9 from diffblue/thomas/addDevelopBranch

Run CI on develop branch
diffblue · Jun 11, 2024 · 7360adb · 7360adb
2 parents ada0330 + 306b66b
commit 7360adb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,6 +5,7 @@ on:
   push:
     branches:
       - main
+      - develop
 
 jobs:
   build: