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

fix: also enqueue block_events in execution_finished

de86dac
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
succeeded Jun 12, 2026 in 6m 8s