Skip to content

tweaks#1050

Merged
jlowin merged 3 commits intomainfrom
typing-and-readme
Feb 21, 2025
Merged

tweaks#1050
jlowin merged 3 commits intomainfrom
typing-and-readme

Conversation

@zzstoatzz
Copy link
Collaborator

@zzstoatzz zzstoatzz commented Feb 4, 2025

accept annotated types in marvin.Task and make example runnable as is

@github-actions github-actions bot added example enhancement New feature or request feature Pull requests that add features labels Feb 4, 2025
oop

again
@jlowin jlowin merged commit 6ae52dc into main Feb 21, 2025
3 checks passed
@jlowin jlowin deleted the typing-and-readme branch February 21, 2025 22:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request example feature Pull requests that add features

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants