Skip to content

chore: Pin django-stubs to working version#6503

Merged
rjsparks merged 1 commit intoietf-tools:mainfrom
jennifer-richards:upgrade-mypy
Oct 20, 2023
Merged

chore: Pin django-stubs to working version#6503
rjsparks merged 1 commit intoietf-tools:mainfrom
jennifer-richards:upgrade-mypy

Conversation

@jennifer-richards
Copy link
Copy Markdown
Member

No description provided.

@rjsparks rjsparks merged commit bea4459 into ietf-tools:main Oct 20, 2023
@jennifer-richards jennifer-richards deleted the upgrade-mypy branch October 20, 2023 16:00
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Oct 24, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants