Skip to content

Increment 15b: the domain in its own CRS - #106

Merged
skavhaug merged 24 commits into
masterfrom
increment15b-domain-crs
Sep 28, 2026
Merged

skavhaug merged 24 commits into
masterfrom
increment15b-domain-crs

15b tests: the same-CRS guarantee without machine-recorded digests

24d178c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Python 3.13
succeeded Sep 28, 2026 in 3m 6s