diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 9a649179..87ecfe13 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -5,7 +5,7 @@ on: push: branches: [ master, devel ] pull_request: - branches: [ master ] + branches: [ master, devel ] workflow_dispatch: permissions: