Skip to content

ci: smoke-test all invalid conformance fixtures - #28

Merged
new-world-coder merged 1 commit into
cursor/aegisproof-v0.1-spec-and-clifrom
ci/conformance-invalid-smoke
Sep 22, 2026
Merged

ci: smoke-test all invalid conformance fixtures#28
new-world-coder merged 1 commit into
cursor/aegisproof-v0.1-spec-and-clifrom
ci/conformance-invalid-smoke

ci: smoke-test all invalid conformance fixtures

e52b3f0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar