summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSebastian Berg <sebastian@sipsolutions.net>2023-03-26 10:00:40 +0200
committerSebastian Berg <sebastian@sipsolutions.net>2023-03-26 10:00:40 +0200
commit6defb78b8f890d797e3d6ca08224eaa73d44ca71 (patch)
tree50df871abcb423d27ef30140e2c7f9119e036707
parent0385269eb77bc84afbc5e562e6cbc91a084365d2 (diff)
downloadnumpy-6defb78b8f890d797e3d6ca08224eaa73d44ca71.tar.gz
CI: Ensure coverage is run for merges
Recently, coverage has been starting to pile up bad "changed files" that didn't actually change. For now it was a minor nuisance but this will just increase. We could probably just run this every few days also, coverage doesn't change too quickly. But it needs to run on merges regularly.
-rw-r--r--.github/workflows/build_test.yml9
1 files changed, 9 insertions, 0 deletions
diff --git a/.github/workflows/build_test.yml b/.github/workflows/build_test.yml
index 6b86d8293..fb3a77309 100644
--- a/.github/workflows/build_test.yml
+++ b/.github/workflows/build_test.yml
@@ -202,6 +202,15 @@ jobs:
- uses: ./.github/actions
full:
+ on:
+ # Job creates coverage comparison, so needs to run on main for merges.
+ push:
+ braches:
+ - main
+ pull_request:
+ branches:
+ - main
+ - maintenance/**
needs: [smoke_test]
runs-on: ubuntu-22.04
env: