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] - Add timeout to CI #2691

Closed
wants to merge 1 commit into from
Closed

Conversation

HalidOdat
Copy link
Member

Adds a timeout to the CI so it doesn't run forever

@HalidOdat HalidOdat added enhancement New feature or request cli Issues and PRs related to the Boa command line interface. labels Mar 19, 2023
@HalidOdat HalidOdat added this to the v0.17.0 milestone Mar 19, 2023
@HalidOdat HalidOdat added github_actions Pull requests that update Github_actions code and removed cli Issues and PRs related to the Boa command line interface. labels Mar 19, 2023
@github-actions
Copy link

Test262 conformance changes

Test result main count PR count difference
Total 94,277 94,277 0
Passed 70,720 70,720 0
Ignored 17,324 17,324 0
Failed 6,233 6,233 0
Panics 14 14 0
Conformance 75.01% 75.01% 0.00%

@codecov
Copy link

codecov bot commented Mar 19, 2023

Codecov Report

Merging #2691 (51d4b5f) into main (7e6d3c9) will increase coverage by 1.13%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #2691      +/-   ##
==========================================
+ Coverage   49.36%   50.50%   +1.13%     
==========================================
  Files         397      391       -6     
  Lines       39568    38680     -888     
==========================================
+ Hits        19533    19534       +1     
+ Misses      20035    19146     -889     

see 17 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.

@jedel1043
Copy link
Member

bors r+

bors bot pushed a commit that referenced this pull request Mar 19, 2023
Adds a timeout to the CI so it doesn't run forever
@bors
Copy link

bors bot commented Mar 19, 2023

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Add timeout to CI [Merged by Bors] - Add timeout to CI Mar 19, 2023
@bors bors bot closed this Mar 19, 2023
@bors bors bot deleted the feature/ci-timeout branch March 19, 2023 02:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request 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