diff --git a/.github/workflows/devel.yml b/.github/workflows/devel.yml index 8981ab93..a9be5f43 100644 --- a/.github/workflows/devel.yml +++ b/.github/workflows/devel.yml @@ -8,6 +8,8 @@ on: push: branches: - devel + - 'ci/**' + - 'CI/**' jobs: build-simple: name: Simple build tests