Skip to content

test(autogram): Add a way to test against no cross-terms - #467

Merged
ValerianRey merged 1 commit into
mainfrom
add-way-to-test-against-no-cross-terms
Oct 20, 2025
Merged

test(autogram): Add a way to test against no cross-terms#467
ValerianRey merged 1 commit into
mainfrom
add-way-to-test-against-no-cross-terms

test(autogram): Add a way to test against no cross-terms

f67baf4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar