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 documentation links #2741

Closed
wants to merge 2 commits into from
Closed

[Merged by Bors] - Fix documentation links #2741

wants to merge 2 commits into from

Conversation

Razican
Copy link
Member

@Razican Razican commented Mar 25, 2023

This PR changes the following:

  • Adds a new (very simple) security policy, to comply with GitHub standards
  • Changes the internal links of the documentation to point to the new boajs.dev domain
  • The developer documentation link now lies in the CONTRIBUTING.md file

@Razican Razican added the documentation update documentation label Mar 25, 2023
@Razican Razican added this to the v0.17.0 milestone Mar 25, 2023
@github-actions
Copy link

Test262 conformance changes

Test result main count PR count difference
Total 94,277 94,277 0
Passed 71,092 71,092 0
Ignored 17,324 17,324 0
Failed 5,861 5,861 0
Panics 2 2 0
Conformance 75.41% 75.41% 0.00%

@codecov
Copy link

codecov bot commented Mar 25, 2023

Codecov Report

Merging #2741 (ab44082) into main (e9daa3d) will increase coverage by 0.14%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #2741      +/-   ##
==========================================
+ Coverage   50.25%   50.40%   +0.14%     
==========================================
  Files         399      397       -2     
  Lines       40122    39937     -185     
==========================================
- Hits        20165    20131      -34     
+ Misses      19957    19806     -151     
Impacted Files Coverage Δ
boa_ast/src/lib.rs 75.00% <ø> (ø)
boa_engine/src/lib.rs 78.20% <ø> (ø)
boa_gc/src/lib.rs 100.00% <ø> (ø)
boa_interner/src/lib.rs 82.35% <ø> (-1.69%) ⬇️
boa_profiler/src/lib.rs 66.66% <ø> (ø)
boa_unicode/src/lib.rs 69.69% <ø> (ø)

... and 18 files with indirect coverage changes

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@HalidOdat
Copy link
Member

bors r+

bors bot pushed a commit that referenced this pull request Mar 25, 2023
This PR changes the following:

- Adds a new (very simple) security policy, to comply with GitHub standards
- Changes the internal links of the documentation to point to the new boajs.dev domain
- The developer documentation link now lies in the CONTRIBUTING.md file
@bors
Copy link

bors bot commented Mar 25, 2023

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Fix documentation links [Merged by Bors] - Fix documentation links Mar 25, 2023
@bors bors bot closed this Mar 25, 2023
@bors bors bot deleted the docs branch March 25, 2023 22:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation update documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants