Skip to content

Implement ProperContains/ProperIn for both List and Interval#369

Merged
dehall merged 12 commits into
masterfrom
propercontains_properin
Jul 8, 2026
Merged

Implement ProperContains/ProperIn for both List and Interval#369
dehall merged 12 commits into
masterfrom
propercontains_properin

Re-add some previously skipped tests and rebuild test CQL & ELM

be939da
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar