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

Support benchmarking reports and lower the benching time. #242

Merged
merged 12 commits into from
May 2, 2020

Conversation

DivvyCr
Copy link
Contributor

@DivvyCr DivvyCr commented May 1, 2020

No description provided.

@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@codecov
Copy link

codecov bot commented May 1, 2020

Codecov Report

Merging #242 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #242   +/-   ##
=======================================
  Coverage   89.88%   89.88%           
=======================================
  Files         100      100           
  Lines        4567     4567           
  Branches      782      782           
=======================================
  Hits         4105     4105           
  Misses        333      333           
  Partials      129      129           

@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@AppVeyorBot
Copy link

@AppVeyorBot
Copy link

…e second uploads benchmarking data from pushes to master.
@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@DivvyCr
Copy link
Contributor Author

DivvyCr commented May 2, 2020

There is no oce_rlcs_intensive comment now, because the benchmark process for that is not run. Should we still run the intensive then..?

@AppVeyorBot
Copy link

1 similar comment
@AppVeyorBot
Copy link

@dtracers dtracers merged commit 454cfd6 into master May 2, 2020
@dtracers dtracers deleted the benchmarking-data branch May 2, 2020 18:15
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