Skip to content

Aiur test pipeline: proving/execution split, unconstrained-op typing, full cross-engine coverage - #538

Merged
arthurpaulino merged 5 commits into
mainfrom
ap/tests
Aug 6, 2026
Merged

Aiur test pipeline: proving/execution split, unconstrained-op typing, full cross-engine coverage#538
arthurpaulino merged 5 commits into
mainfrom
ap/tests

tests: promote quick Aiur suites from ignored to primary runners

71e88ce
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar