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

deps(build): Bump insta to 1.19.1 #5018

Merged
merged 1 commit into from
Sep 1, 2022
Merged

deps(build): Bump insta to 1.19.1 #5018

merged 1 commit into from
Sep 1, 2022

Conversation

oxarbitrage
Copy link
Contributor

Motivation

Replace #4924 by upgrading to 1.19.1 where a bug in the json map was fixed (#4821).

Anyone can review.

@oxarbitrage oxarbitrage requested a review from a team as a code owner August 31, 2022 13:54
@oxarbitrage oxarbitrage requested review from teor2345 and removed request for a team August 31, 2022 13:54
@codecov
Copy link

codecov bot commented Aug 31, 2022

Codecov Report

Merging #5018 (8e0d16f) into main (3ff56c2) will increase coverage by 0.12%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #5018      +/-   ##
==========================================
+ Coverage   79.04%   79.17%   +0.12%     
==========================================
  Files         310      310              
  Lines       38883    38883              
==========================================
+ Hits        30736    30785      +49     
+ Misses       8147     8098      -49     

Copy link
Contributor

@teor2345 teor2345 left a comment

Choose a reason for hiding this comment

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

Thanks!

mergify bot added a commit that referenced this pull request Sep 1, 2022
mergify bot added a commit that referenced this pull request Sep 1, 2022
mergify bot added a commit that referenced this pull request Sep 1, 2022
@mergify mergify bot merged commit eb228fa into main Sep 1, 2022
@mergify mergify bot deleted the bump-insta branch September 1, 2022 21:51
@teor2345 teor2345 mentioned this pull request Sep 19, 2022
36 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants