Skip to content

Fix CI check: nbdev_diff_nbs#125

Merged
sgugger merged 1 commit intoAnswerDotAI:masterfrom
sirykd:bug-ci-nbdev_diff_nbs
Apr 5, 2020
Merged

Fix CI check: nbdev_diff_nbs#125
sgugger merged 1 commit intoAnswerDotAI:masterfrom
sirykd:bug-ci-nbdev_diff_nbs

Conversation

@sirykd
Copy link
Copy Markdown

@sirykd sirykd commented Apr 5, 2020

No description provided.

@sgugger sgugger merged commit 4dda9da into AnswerDotAI:master Apr 5, 2020
@sgugger
Copy link
Copy Markdown

sgugger commented Apr 5, 2020

Thanks!

jph00 pushed a commit that referenced this pull request Jul 24, 2022
jph00 added a commit that referenced this pull request Jul 24, 2022
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