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

[Merged by Bors] - Fix some broken links in the profiler documentation #1762

Closed
wants to merge 1 commit into from

Conversation

Razican
Copy link
Member

@Razican Razican commented Dec 24, 2021

The measureme repo changed their file names for their READMEs, so the links were broken. This is now fixed.

@Razican Razican added bug Something isn't working documentation update documentation labels Dec 24, 2021
@Razican Razican added this to the v0.14.0 milestone Dec 24, 2021
@codecov
Copy link

codecov bot commented Dec 24, 2021

Codecov Report

Merging #1762 (0b0c0ea) into main (039c46b) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main    #1762   +/-   ##
=======================================
  Coverage   53.03%   53.03%           
=======================================
  Files         200      200           
  Lines       17076    17076           
=======================================
  Hits         9056     9056           
  Misses       8020     8020           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 039c46b...0b0c0ea. Read the comment docs.

@github-actions
Copy link

Test262 conformance changes

Non-VM implementation

Test result main count PR count difference
Total 86,952 86,952 0
Passed 40,157 40,157 0
Ignored 19,269 19,269 0
Failed 27,526 27,526 0
Panics 0 0 0
Conformance 46.18% 46.18% 0.00%

VM implementation

Test result main count PR count difference
Total 86,952 86,952 0
Passed 40,847 40,847 0
Ignored 19,269 19,269 0
Failed 26,836 26,836 0
Panics 0 0 0
Conformance 46.98% 46.98% 0.00%

@HalidOdat
Copy link
Member

bors r+

bors bot pushed a commit that referenced this pull request Dec 24, 2021
The `measureme` repo changed their file names for their READMEs, so the links were broken. This is now fixed.
@bors
Copy link

bors bot commented Dec 24, 2021

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Fix some broken links in the profiler documentation [Merged by Bors] - Fix some broken links in the profiler documentation Dec 24, 2021
@bors bors bot closed this Dec 24, 2021
@bors bors bot deleted the profile_docs branch December 24, 2021 13:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working documentation update documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants