Skip to content
This repository was archived by the owner on Nov 9, 2025. It is now read-only.

modernize#23

Merged
bors[bot] merged 5 commits intomasterfrom
new_inline
Sep 20, 2020
Merged

modernize#23
bors[bot] merged 5 commits intomasterfrom
new_inline

Conversation

@matklad
Copy link
Contributor

@matklad matklad commented Sep 20, 2020

No description provided.

I don't really look at the results of the benchmarks anyway, so having
them in the repo creates a false sense of benchmarkdness.

If I get to implementing proper benchmarking, I'd probably stay away
from criterion -- we need something much much simpler for this crate.
@matklad
Copy link
Contributor Author

matklad commented Sep 20, 2020

bors r+

@bors
Copy link
Contributor

bors bot commented Sep 20, 2020

Build succeeded:

@bors bors bot merged commit 52a34ff into master Sep 20, 2020
@bors bors bot deleted the new_inline branch September 20, 2020 08:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant