Skip to content

Task on main message#53

Merged
ben-denham merged 2 commits intomainfrom
task-on-main-message
May 31, 2025
Merged

Task on main message#53
ben-denham merged 2 commits intomainfrom
task-on-main-message

Conversation

@ben-denham
Copy link
Owner

Resolves #46

@ben-denham ben-denham merged commit 0940a25 into main May 31, 2025
9 checks passed
@ben-denham ben-denham deleted the task-on-main-message branch June 3, 2025 09:52
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.

More graceful failure when task types are defined on __main__ in an interactive session

1 participant