diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 9d15eb041c..3d613bad10 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -2,6 +2,9 @@ name: build on: pull_request: types: [opened, reopened, synchronize] + push: + branches: + - develop jobs: build: #Note that the CircleCI job used a Container. The way to do this with Github Actions diff --git a/README.md b/README.md index e6c6fedf80..758a7aede3 100644 --- a/README.md +++ b/README.md @@ -2,8 +2,8 @@

- - + +