Skip to content

Conversation

@yiweichi
Copy link
Member

add submit failed tasks to coordinator when unexpected error happens.

@yiweichi yiweichi merged commit 6582c28 into main Apr 11, 2025
1 check passed
@yiweichi yiweichi deleted the fix-improve-prover-logic branch April 11, 2025 13:48
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.

3 participants