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

chore(version): bump logos version to 0.14.0 #369

Merged
merged 1 commit into from
Feb 7, 2024
Merged

Conversation

jeertmans
Copy link
Collaborator

No description provided.

@jeertmans jeertmans added the dependencies Related to dependencies label Feb 7, 2024
@jeertmans jeertmans merged commit 9ec6a64 into master Feb 7, 2024
18 of 19 checks passed
@jeertmans jeertmans deleted the release-0.14 branch February 7, 2024 09:34
Copy link

github-actions bot commented Feb 7, 2024

Benchmark results:

group                                         before                                 changes
-----                                         ------                                 -------
count_ok/identifiers                          1.00    826.8±5.34ns   898.6 MB/sec    1.05   868.0±13.49ns   855.9 MB/sec
count_ok/keywords_operators_and_punctators    1.00      2.5±0.04µs   798.3 MB/sec    1.04      2.7±0.16µs   766.0 MB/sec
count_ok/strings                              1.13    580.1±4.86ns  1431.9 MB/sec    1.00   513.2±10.29ns  1618.5 MB/sec
iterate/identifiers                           1.00   832.0±17.12ns   892.9 MB/sec    1.05   875.7±14.12ns   848.4 MB/sec
iterate/keywords_operators_and_punctators     1.00      2.6±0.04µs   779.5 MB/sec    1.03      2.7±0.03µs   758.7 MB/sec
iterate/strings                               1.02    580.1±9.05ns  1432.0 MB/sec    1.00   567.9±12.97ns  1462.7 MB/sec

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Related to dependencies
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant