Skip to content

fix: also enqueue block_events in execution_finished#1261

Merged
gares merged 1 commit into
rocq-prover:mainfrom
KacperFKorban:fix-i1252
Jun 12, 2026
Merged

fix: also enqueue block_events in execution_finished#1261
gares merged 1 commit into
rocq-prover:mainfrom
KacperFKorban:fix-i1252

Conversation

@KacperFKorban

Copy link
Copy Markdown
Contributor

closes #1252

@gares gares left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, such a silly mistake I made here

@gares gares merged commit 3353cd7 into rocq-prover:main Jun 12, 2026
35 checks passed
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.

[FEAT] Jump to line of error during an error

2 participants