Skip to content

Add prover workflow#684

Merged
anylots merged 3 commits intomainfrom
prover
Dec 23, 2024
Merged

Add prover workflow#684
anylots merged 3 commits intomainfrom
prover

Conversation

@chengwenxi
Copy link
Copy Markdown
Collaborator

No description provided.

@chengwenxi chengwenxi requested a review from a team as a code owner December 20, 2024 07:15
@chengwenxi chengwenxi requested review from anylots and yunxu1 and removed request for a team December 20, 2024 07:15
@chengwenxi chengwenxi added the prover Prover update label Dec 20, 2024
@anylots anylots merged commit 732f380 into main Dec 23, 2024
@anylots anylots deleted the prover branch December 23, 2024 06:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

prover Prover update

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants