Skip to content

Commit

Permalink
run coverage only after merge
Browse files Browse the repository at this point in the history
coverage is a quite slow step in CI. It can be run only after merging
  • Loading branch information
PSeitz committed Oct 6, 2023
1 parent e246e57 commit ddfa25d
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 3 deletions.
2 changes: 0 additions & 2 deletions .github/workflows/coverage.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,6 @@ name: Coverage
on:
push:
branches: [main]
pull_request:
branches: [main]

# Ensures that we cancel running jobs for the same PR / same workflow.
concurrency:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@ jobs:
strategy:
matrix:
features: [
{ label: "all", flags: "mmap,stopwords,lz4-compression,zstd-compression,failpoints" },
{ label: "all", flags: "mmap,stopwords,lz4-compression,zstd-compression,unstable,failpoints" },
{ label: "quickwit", flags: "mmap,quickwit,failpoints" }
]

Expand Down

0 comments on commit ddfa25d

Please sign in to comment.