Skip to content

fix(schemas): add missing 'executive_synthesis_skipped' to Event.type enum#1

Open
MerouaneBen wants to merge 1 commit into
ProofAgent-ai:mainfrom
MerouaneBen:fix-event-enum-exec-synthesis
Open

fix(schemas): add missing 'executive_synthesis_skipped' to Event.type enum#1
MerouaneBen wants to merge 1 commit into
ProofAgent-ai:mainfrom
MerouaneBen:fix-event-enum-exec-synthesis

Commits

Commits on Jul 5, 2026