Skip to content

Run the correctness oracle nightly in CI, and split what 'pass' means - #4234

Merged
gHashTag merged 3 commits into
masterfrom
feat/oracle-nightly
Sep 17, 2026
Merged

gHashTag merged 3 commits into
masterfrom
feat/oracle-nightly

Report specs that fail to generate in the nightly summary

cae88c8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar