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

Enable github queues and remove bors.toml #2899

Merged
merged 1 commit into from May 5, 2023
Merged

Enable github queues and remove bors.toml #2899

merged 1 commit into from May 5, 2023

Conversation

jedel1043
Copy link
Member

Apparently we need to mark the actions needed for the github queue, so this PR does that. It also removes the bors.toml file since it's not needed anymore.

@jedel1043 jedel1043 added the github_actions Pull requests that update Github_actions code label May 5, 2023
@jedel1043 jedel1043 added this to the v0.17.0 milestone May 5, 2023
@jedel1043 jedel1043 requested a review from a team May 5, 2023 02:44
@jedel1043 jedel1043 enabled auto-merge May 5, 2023 02:44
@github-actions
Copy link

github-actions bot commented May 5, 2023

Test262 conformance changes

Test result main count PR count difference
Total 94,601 94,601 0
Passed 73,293 73,293 0
Ignored 17,540 17,540 0
Failed 3,768 3,768 0
Panics 0 0 0
Conformance 77.48% 77.48% 0.00%

@codecov
Copy link

codecov bot commented May 5, 2023

Codecov Report

Merging #2899 (80ac18d) into main (08a7238) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2899   +/-   ##
=======================================
  Coverage   51.63%   51.63%           
=======================================
  Files         427      427           
  Lines       42619    42619           
=======================================
  Hits        22006    22006           
  Misses      20613    20613           

Copy link
Member

@Razican Razican left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@jedel1043 jedel1043 added this pull request to the merge queue May 5, 2023
Merged via the queue into main with commit 9c29b35 May 5, 2023
9 checks passed
@Razican Razican deleted the github-queues branch May 5, 2023 06:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
github_actions Pull requests that update Github_actions code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants