diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml index 2c94d17189..5d352f35f9 100644 --- a/.github/workflows/develop.yml +++ b/.github/workflows/develop.yml @@ -1,4 +1,4 @@ -on: [push, pull_request] +on: [pull_request] name: Continuous integration for developing