Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

run coverage only after merge #2212

Merged
merged 2 commits into from
Oct 18, 2023
Merged

run coverage only after merge #2212

merged 2 commits into from
Oct 18, 2023

Conversation

PSeitz
Copy link
Contributor

@PSeitz PSeitz commented Oct 6, 2023

coverage is a quite slow step in CI. It can be run only after merging

Add compile benchmarks to regular CI test

coverage is a quite slow step in CI. It can be run only after merging
run: cargo +nightly build --all-features

- name: Check Bench Compilation
run: cargo +nightly bench --no-run --profile=dev --all-features
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Will we look at the result? It won't give a diff of the last run will it?
It seems too much for a PR especially.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Note the --no-run argument. This will not execute the benchmarks, just check that they compile (and even use the dev profile to get fast build time instead of fast builds).

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We broke the benchmarks compilation previously, since they are not covered in the CI. This did break as a consequence https://pseitz.github.io/tantivy_bench_graph/index.html

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ah got it!

@PSeitz PSeitz requested a review from fulmicoton October 13, 2023 05:59
@PSeitz PSeitz merged commit 7e1980b into main Oct 18, 2023
4 checks passed
@PSeitz PSeitz deleted the faster_ci branch October 18, 2023 05:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants