Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Revert "Enable optimization in every profile" #234

Merged
merged 1 commit into from
Jun 16, 2021
Merged

Revert "Enable optimization in every profile" #234

merged 1 commit into from
Jun 16, 2021

Conversation

ManyTheFish
Copy link
Member

@ManyTheFish ManyTheFish commented Jun 16, 2021

compiling tests in release takes too much time.

Reverts #224

Fix #233

@ManyTheFish ManyTheFish requested a review from irevoire June 16, 2021 10:16
Cargo.toml Outdated
@@ -2,14 +2,11 @@
members = ["milli", "http-ui", "benchmarks", "infos", "helpers", "search"]
default-members = ["milli"]

[profile.dev]
opt-level = 3
Copy link
Member Author

Choose a reason for hiding this comment

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

@irevoire, should we keep this?

Copy link
Member

Choose a reason for hiding this comment

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

If it's not taking too much time, yes we should 🙂

Copy link
Member

@Kerollmops Kerollmops left a comment

Choose a reason for hiding this comment

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

bors merge

@bors
Copy link
Contributor

bors bot commented Jun 16, 2021

Build succeeded:

@bors bors bot merged commit ba30cef into main Jun 16, 2021
@bors bors bot deleted the revert-224-opt branch June 16, 2021 14:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

compiling tests in release takes too much time
3 participants