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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix jit for PT1.7 #4172

Merged
merged 1 commit into from
Oct 15, 2020
Merged

fix jit for PT1.7 #4172

merged 1 commit into from
Oct 15, 2020

Conversation

Borda
Copy link
Member

@Borda Borda commented Oct 15, 2020

What does this PR do?

Fixes #4163
the newly added property was missing in ignore for jit for PT 1.7

PR review

Anyone in the community is free to review the PR once the tests have passed.
If we didn't discuss your PR in Github issues there's a high chance it will not be merged.

Did you have fun?

Make sure you had fun coding 馃檭

@Borda Borda added the bug Something isn't working label Oct 15, 2020
@mergify mergify bot requested a review from a team October 15, 2020 13:05
@Borda Borda requested review from tullie and williamFalcon and removed request for a team October 15, 2020 13:05
@mergify mergify bot requested a review from a team October 15, 2020 13:05
@Borda Borda added the priority: 0 High priority task label Oct 15, 2020
@codecov
Copy link

codecov bot commented Oct 15, 2020

Codecov Report

Merging #4172 into master will increase coverage by 0%.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master   #4172    +/-   ##
=======================================
  Coverage      93%     93%            
=======================================
  Files         103     103            
  Lines        7805    8060   +255     
=======================================
+ Hits         7239    7491   +252     
- Misses        566     569     +3     

@williamFalcon williamFalcon merged commit f976e85 into master Oct 15, 2020
@Borda Borda deleted the bugfix/jit-1.7 branch October 15, 2020 13:48
@Borda Borda added this to the 1.0.x milestone Oct 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working priority: 0 High priority task
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants