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

Update Arbitrator to v1.1.1 #3837

Merged
merged 1 commit into from May 3, 2023
Merged

Update Arbitrator to v1.1.1 #3837

merged 1 commit into from May 3, 2023

Conversation

lucacome
Copy link
Member

@lucacome lucacome commented May 3, 2023

Proposed changes

Updates Arbitrator image to v1.1.1

@lucacome lucacome self-assigned this May 3, 2023
@lucacome lucacome requested a review from a team as a code owner May 3, 2023 01:46
@github-actions github-actions bot added dependencies Pull requests that update a dependency file tests Pull requests that update tests labels May 3, 2023
@codecov
Copy link

codecov bot commented May 3, 2023

Codecov Report

Merging #3837 (00fc77b) into main (d0b8f1f) will increase coverage by 0.01%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #3837      +/-   ##
==========================================
+ Coverage   52.39%   52.40%   +0.01%     
==========================================
  Files          59       59              
  Lines       16931    16931              
==========================================
+ Hits         8871     8873       +2     
+ Misses       7761     7759       -2     
  Partials      299      299              

see 1 file with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@lucacome lucacome mentioned this pull request May 3, 2023
@lucacome lucacome merged commit a79415e into main May 3, 2023
63 checks passed
@lucacome lucacome deleted the deps/arbitrator branch May 3, 2023 20:21
@lucacome lucacome removed the tests Pull requests that update tests label Jun 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

None yet

3 participants