From 26aded0ef95ccdcb2dcfec5346f7eafa1fff8492 Mon Sep 17 00:00:00 2001 From: Deirdre Connolly Date: Mon, 15 Feb 2021 20:50:32 -0500 Subject: [PATCH] Run CI workflow on push to #main & manual request We used to always run the CI workflow on push/merge to #main and at some point stopped; we still link to the status of this workflow on #main from our README. I think we should bring it back. Also allows manual triggering of the workflow, which can come in handy if you are working on a branch but haven't opened a PR yet. --- .github/workflows/ci.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7d518500..c246cf1e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,11 @@ name: CI -on: pull_request +on: + workflow_dispatch: + pull_request: + push: + branches: + - main jobs: