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.

Sign up for GitHub

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

Jump to bottom

run_inside -> imports #525

Merged

erikbern merged 1 commit into main from erikbern/imports

Dec 16, 2023

+22 −25

Contributor

erikbern commented Dec 16, 2023

run_inside is pending deprecation

erikbern force-pushed the erikbern/imports branch from b3cf2ff to 02d44de Compare

December 16, 2023 03:28


          run_inside -> imports

824da8d

erikbern force-pushed the erikbern/imports branch from 02d44de to 824da8d Compare

December 16, 2023 03:29

erikbern merged commit 45c58a2 into main

5 checks passed

erikbern deleted the erikbern/imports branch

December 16, 2023 03:32

gongy pushed a commit that referenced this pull request


          run_inside -> imports (#525)

87706a2

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet